No Cover Image

Journal article 1145 views 212 downloads

The NP Search Problems of Frege and Extended Frege Proofs

Arnold Beckmann Orcid Logo, Sam Buss

ACM Transactions on Computational Logic, Volume: 18, Issue: 2, Pages: 1 - 19

Swansea University Author: Arnold Beckmann Orcid Logo

Check full text

DOI (Published version): 10.1145/3060145

Published in: ACM Transactions on Computational Logic
ISSN: 1529-3785 1557-945X
Published: Association for Computing Machinery (ACM) 2017
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa32250
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2017-03-03T13:34:11Z
last_indexed 2023-02-03T03:39:22Z
id cronfa32250
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-02-02T16:11:10.6375772</datestamp><bib-version>v2</bib-version><id>32250</id><entry>2017-03-03</entry><title>The NP Search Problems of Frege and Extended Frege Proofs</title><swanseaauthors><author><sid>1439ebd690110a50a797b7ec78cca600</sid><ORCID>0000-0001-7958-5790</ORCID><firstname>Arnold</firstname><surname>Beckmann</surname><name>Arnold Beckmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2017-03-03</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>ACM Transactions on Computational Logic</journal><volume>18</volume><journalNumber>2</journalNumber><paginationStart>1</paginationStart><paginationEnd>19</paginationEnd><publisher>Association for Computing Machinery (ACM)</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>1529-3785</issnPrint><issnElectronic>1557-945X</issnElectronic><keywords/><publishedDay>23</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-06-23</publishedDate><doi>10.1145/3060145</doi><url>http://dx.doi.org/10.1145/3060145</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-02-02T16:11:10.6375772</lastEdited><Created>2017-03-03T08:30:53.3564010</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>Arnold</firstname><surname>Beckmann</surname><orcid>0000-0001-7958-5790</orcid><order>1</order></author><author><firstname>Sam</firstname><surname>Buss</surname><order>2</order></author></authors><documents><document><filename>0032250-10032017090659.pdf</filename><originalFilename>paperv7.pdf</originalFilename><uploaded>2017-03-10T09:06:59.2770000</uploaded><type>Output</type><contentLength>382624</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-07-12T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2023-02-02T16:11:10.6375772 v2 32250 2017-03-03 The NP Search Problems of Frege and Extended Frege Proofs 1439ebd690110a50a797b7ec78cca600 0000-0001-7958-5790 Arnold Beckmann Arnold Beckmann true false 2017-03-03 SCS Journal Article ACM Transactions on Computational Logic 18 2 1 19 Association for Computing Machinery (ACM) 1529-3785 1557-945X 23 6 2017 2017-06-23 10.1145/3060145 http://dx.doi.org/10.1145/3060145 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-02-02T16:11:10.6375772 2017-03-03T08:30:53.3564010 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Arnold Beckmann 0000-0001-7958-5790 1 Sam Buss 2 0032250-10032017090659.pdf paperv7.pdf 2017-03-10T09:06:59.2770000 Output 382624 application/pdf Accepted Manuscript true 2017-07-12T00:00:00.0000000 true eng
title The NP Search Problems of Frege and Extended Frege Proofs
spellingShingle The NP Search Problems of Frege and Extended Frege Proofs
Arnold Beckmann
title_short The NP Search Problems of Frege and Extended Frege Proofs
title_full The NP Search Problems of Frege and Extended Frege Proofs
title_fullStr The NP Search Problems of Frege and Extended Frege Proofs
title_full_unstemmed The NP Search Problems of Frege and Extended Frege Proofs
title_sort The NP Search Problems of Frege and Extended Frege Proofs
author_id_str_mv 1439ebd690110a50a797b7ec78cca600
author_id_fullname_str_mv 1439ebd690110a50a797b7ec78cca600_***_Arnold Beckmann
author Arnold Beckmann
author2 Arnold Beckmann
Sam Buss
format Journal article
container_title ACM Transactions on Computational Logic
container_volume 18
container_issue 2
container_start_page 1
publishDate 2017
institution Swansea University
issn 1529-3785
1557-945X
doi_str_mv 10.1145/3060145
publisher Association for Computing Machinery (ACM)
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
url http://dx.doi.org/10.1145/3060145
document_store_str 1
active_str 0
published_date 2017-06-23T03:39:29Z
_version_ 1763751776672022528
score 11.035634

Similar Items