No Cover Image

Journal article 830 views 147 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

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