Parameterized bounded-depth Frege is not optimal

Beyersdorff, O, Galesi, N, Lauria, M et al. (1 more author) (2011) Parameterized bounded-depth Frege is not optimal. In: Aceto, L, Henzinger, M and Sgall, J, (eds.) Automata, languages and programmes, proceedings ICALP. ICALP 2011, 04-08 Jul 2011, Zurich, Switzerland. Lecture Notes in Computer Science, 6755 (Part 1). Springer Verlag , 630 - 641 . ISBN 978-3-642-22005-0



  • Beyersdorff, O
  • Galesi, N
  • Lauria, M
  • Razborov, A
Copyright, Publisher and Additional Information: © 2011, Springer Verlag. This is an author produced version of a paper published in Automata, languages and programmes. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at
  • Published: 2011
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 10 Dec 2012 14:50
Last Modified: 19 Dec 2022 13:24
Published Version:
Status: Published
Publisher: Springer Verlag
Series Name: Lecture Notes in Computer Science
Identification Number: