The Library
Unprovability of circuit upper bounds in Cook's theory PV
Tools
Krajicek, Jan and Oliveira, Igor Carboni (2017) Unprovability of circuit upper bounds in Cook's theory PV. Logical Methods in Computer Science, 13 (1). doi:10.23638/LMCS-13(1:4)2017 ISSN 1860-5974.
|
PDF
WRAP-unprovability-circuit-upper-bounds-Cook's-theory-PV-Oliveira-2017.pdf - Published Version - Requires a PDF viewer. Available under License ["licenses_description_cc_by_nd_2" not defined]. Download (138Kb) | Preview |
Official URL: http://www.doi.org/10.23638/LMCS-13(1:4)2017
Item Type: | Journal Article | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics | ||||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||
Library of Congress Subject Headings (LCSH): | Computational complexity, Arithmetic, Constructive mathematics | ||||||
Journal or Publication Title: | Logical Methods in Computer Science | ||||||
Publisher: | International Federation for Computational Logic | ||||||
ISSN: | 1860-5974 | ||||||
Official Date: | 2 February 2017 | ||||||
Dates: |
|
||||||
Volume: | 13 | ||||||
Number: | 1 | ||||||
DOI: | 10.23638/LMCS-13(1:4)2017 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Access rights to Published version: | Open Access (Creative Commons) | ||||||
Date of first compliant deposit: | 8 November 2019 | ||||||
Date of first compliant Open Access: | 8 November 2019 | ||||||
RIOXX Funder/Project Grant: |
|
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year