No Cover Image

E-Thesis 176 views 48 downloads

Interactive theorem proving and program extraction. / Tie Hou

Swansea University Author: Tie Hou

Published: 2014
Institution: Swansea University
Degree level: Doctoral
Degree name: Ph.D
URI: https://cronfa.swan.ac.uk/Record/cronfa42845
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering