No Cover Image

Journal article 507 views 41 downloads

The NP Search Problems of Frege and Extended Frege Proofs / Arnold Beckmann; Sam Buss

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

Swansea University Author: Arnold, Beckmann

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!
Issue: 2
Start Page: 1
End Page: 19