Journal article 1145 views 212 downloads
The NP Search Problems of Frege and Extended Frege Proofs
Arnold Beckmann 
,
Sam Buss
,
Sam Buss
ACM Transactions on Computational Logic, Volume: 18, Issue: 2, Pages: 1 - 19
Swansea University Author:
Arnold Beckmann
-
PDF | Accepted Manuscript
Download (427.71KB)
DOI (Published version): 10.1145/3060145
Abstract
The NP Search Problems of Frege and Extended Frege Proofs
| 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!
|
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
2 |
| Start Page: |
1 |
| End Page: |
19 |