No Cover Image

E-Thesis 214 views 54 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!
first_indexed 2018-08-02T18:55:41Z
last_indexed 2018-08-03T10:11:15Z
id cronfa42845
recordtype RisThesis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-08-02T16:24:30.6169971</datestamp><bib-version>v2</bib-version><id>42845</id><entry>2018-08-02</entry><title>Interactive theorem proving and program extraction.</title><swanseaauthors><author><sid>ae2f519d58a3416e4e7b6194e05ffcc1</sid><ORCID>NULL</ORCID><firstname>Tie</firstname><surname>Hou</surname><name>Tie Hou</name><active>true</active><ethesisStudent>true</ethesisStudent></author></swanseaauthors><date>2018-08-02</date><abstract/><type>E-Thesis</type><journal/><journalNumber></journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><issnPrint/><issnElectronic/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-12-31</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><degreelevel>Doctoral</degreelevel><degreename>Ph.D</degreename><apcterm/><lastEdited>2018-08-02T16:24:30.6169971</lastEdited><Created>2018-08-02T16:24:30.6169971</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Tie</firstname><surname>Hou</surname><orcid>NULL</orcid><order>1</order></author></authors><documents><document><filename>0042845-02082018162526.pdf</filename><originalFilename>10821235.pdf</originalFilename><uploaded>2018-08-02T16:25:26.3870000</uploaded><type>Output</type><contentLength>4272149</contentLength><contentType>application/pdf</contentType><version>E-Thesis</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-08-02T16:25:26.3870000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-08-02T16:24:30.6169971 v2 42845 2018-08-02 Interactive theorem proving and program extraction. ae2f519d58a3416e4e7b6194e05ffcc1 NULL Tie Hou Tie Hou true true 2018-08-02 E-Thesis 31 12 2014 2014-12-31 COLLEGE NANME Computer Science COLLEGE CODE Swansea University Doctoral Ph.D 2018-08-02T16:24:30.6169971 2018-08-02T16:24:30.6169971 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Tie Hou NULL 1 0042845-02082018162526.pdf 10821235.pdf 2018-08-02T16:25:26.3870000 Output 4272149 application/pdf E-Thesis true 2018-08-02T16:25:26.3870000 false
title Interactive theorem proving and program extraction.
spellingShingle Interactive theorem proving and program extraction.
Tie Hou
title_short Interactive theorem proving and program extraction.
title_full Interactive theorem proving and program extraction.
title_fullStr Interactive theorem proving and program extraction.
title_full_unstemmed Interactive theorem proving and program extraction.
title_sort Interactive theorem proving and program extraction.
author_id_str_mv ae2f519d58a3416e4e7b6194e05ffcc1
author_id_fullname_str_mv ae2f519d58a3416e4e7b6194e05ffcc1_***_Tie Hou
author Tie Hou
author2 Tie Hou
format E-Thesis
publishDate 2014
institution Swansea University
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2014-12-31T03:53:46Z
_version_ 1763752674396733440
score 11.012924

Similar Items