BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
bound (7)
depth (5)
proof (4)
system (3)
lower (3)

Stem frege$ (all stems)

9 papers:

CSLCSL-2013-GhasemlooC #bound #proving
Theories for Subexponential-size Bounded-depth Frege Proofs (KG, SAC), pp. 296–315.
ICALPICALP-v1-2011-BeyersdorffGLR #bound
Parameterized Bounded-Depth Frege Is Not Optimal (OB, NG, ML, AAR), pp. 630–641.
ICALPICALP-v1-2011-FilmusPS #bound #exponential
Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds (YF, TP, RS), pp. 618–629.
STOCSTOC-2002-Ben-Sasson02a #bound
Hard examples for bounded depth frege (EBS), pp. 563–572.
ICALPICALP-2002-ImpagliazzoS #axiom #bound #simulation
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations (RI, NS), pp. 208–219.
STOCSTOC-1997-MacielP #on the #proving
On ACC0[pk] Frege Proofs (AM, TP), pp. 720–729.
CSLCSL-1997-BonetG #bound #linear #simulation
Linear Lower Bounds and Simulations in Frege Systems with Substitutions (MLB, NG), pp. 115–128.
LICSLICS-1992-Clote #constant #proving
Cutting Planes and constant depth Frege proofs (PC), pp. 296–307.
CSLCSL-1990-Goerdt #proving
Cuting Plane Versus Frege Proof Systems (AG), pp. 174–194.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.