Journal article 1126 views 206 downloads
The NP Search Problems of Frege and Extended Frege Proofs
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 |