Understanding Gentzen and Frege Systems for QBF

Beyersdorff, O orcid.org/0000-0002-2870-1648 and Pich, J (2016) Understanding Gentzen and Frege Systems for QBF. In: LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 05-08 Jul 2016, New York, NY, USA. ACM , pp. 146-155. ISBN 978-1-4503-4391-6

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2016 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, http://doi.acm.org/10.1145/2933575.2933597. Uploaded in accordance with the publisher's self-archiving policy.

Keywords: QBF proof systems, sequent calculus, Frege systems, intuitionistic logic, strategy extraction, lower bounds, simulations
Dates:
  • Published: 5 July 2016
  • Accepted: 4 April 2016
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Funding Information:
Funder
Grant number
EPSRC
EP/L024233/1
John Templeton Foundation - DO NOT USE
48138
Depositing User: Symplectic Publications
Date Deposited: 11 Apr 2016 15:10
Last Modified: 06 Feb 2020 13:31
Published Version: https://doi.org/10.1145/2933575.2933597
Status: Published
Publisher: ACM
Identification Number: 10.1145/2933575.2933597
Open Archives Initiative ID (OAI ID):

Export

Statistics