No Cover Image

Journal article 1633 views 305 downloads

A light-weight integration of automated and interactive theorem proving

Karim Kanso, Anton Setzer Orcid Logo

Mathematical Structures in Computer Science, Volume: 26, Issue: 01, Pages: 129 - 153

Swansea University Author: Anton Setzer Orcid Logo

Check full text

DOI (Published version): 10.1017/S0960129514000140

Published in: Mathematical Structures in Computer Science
ISSN: 0960-1295 1469-8072
Published: 2014
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa21469
first_indexed 2015-05-18T02:03:04Z
last_indexed 2019-05-31T22:13:35Z
id cronfa21469
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-05-30T11:35:15.7867646</datestamp><bib-version>v2</bib-version><id>21469</id><entry>2015-05-17</entry><title>A light-weight integration of automated and interactive theorem proving</title><swanseaauthors><author><sid>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-05-17</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>Mathematical Structures in Computer Science</journal><volume>26</volume><journalNumber>01</journalNumber><paginationStart>129</paginationStart><paginationEnd>153</paginationEnd><publisher/><issnPrint>0960-1295</issnPrint><issnElectronic>1469-8072</issnElectronic><keywords/><publishedDay>12</publishedDay><publishedMonth>11</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-11-12</publishedDate><doi>10.1017/S0960129514000140</doi><url>http://www.cs.swan.ac.uk/~csetzer/articles/kansoSetzerLightweightIntegrationATPITP.pdf</url><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-05-30T11:35:15.7867646</lastEdited><Created>2015-05-17T16:13:19.6181274</Created><authors><author><firstname>Karim</firstname><surname>Kanso</surname><order>1</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>2</order></author></authors><documents><document><filename>0021469-12112015115717.pdf</filename><originalFilename>kansoSetzerLightweightIntegrationATPITP_finalauthorsCopy.pdf</originalFilename><uploaded>2016-11-09T14:30:10.3170000</uploaded><type>Output</type><contentLength>280866</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-11-12T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-05-30T11:35:15.7867646 v2 21469 2015-05-17 A light-weight integration of automated and interactive theorem proving 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2015-05-17 MACS Journal Article Mathematical Structures in Computer Science 26 01 129 153 0960-1295 1469-8072 12 11 2014 2014-11-12 10.1017/S0960129514000140 http://www.cs.swan.ac.uk/~csetzer/articles/kansoSetzerLightweightIntegrationATPITP.pdf COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2019-05-30T11:35:15.7867646 2015-05-17T16:13:19.6181274 Karim Kanso 1 Anton Setzer 0000-0001-5322-6060 2 0021469-12112015115717.pdf kansoSetzerLightweightIntegrationATPITP_finalauthorsCopy.pdf 2016-11-09T14:30:10.3170000 Output 280866 application/pdf Accepted Manuscript true 2015-11-12T00:00:00.0000000 true
title A light-weight integration of automated and interactive theorem proving
spellingShingle A light-weight integration of automated and interactive theorem proving
Anton Setzer
title_short A light-weight integration of automated and interactive theorem proving
title_full A light-weight integration of automated and interactive theorem proving
title_fullStr A light-weight integration of automated and interactive theorem proving
title_full_unstemmed A light-weight integration of automated and interactive theorem proving
title_sort A light-weight integration of automated and interactive theorem proving
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Anton Setzer
author2 Karim Kanso
Anton Setzer
format Journal article
container_title Mathematical Structures in Computer Science
container_volume 26
container_issue 01
container_start_page 129
publishDate 2014
institution Swansea University
issn 0960-1295
1469-8072
doi_str_mv 10.1017/S0960129514000140
url http://www.cs.swan.ac.uk/~csetzer/articles/kansoSetzerLightweightIntegrationATPITP.pdf
document_store_str 1
active_str 0
published_date 2014-11-12T11:44:29Z
_version_ 1850668555683495936
score 11.088971

Similar Items