BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
T.Pitassi A.R.Woods
Talks about:
proof (3) pigeonhol (1) principl (1) constant (1) modular (1) connect (1) system (1) condit (1) lower (1) frege (1)

Person: Alexis Maciel

DBLP DBLP: Maciel:Alexis

Contributed to:

LICS 20062006
STOC 20002000
STOC 19971997

Wrote 3 papers:

LICS-2006-MacielP #bound #composition #proving
Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives (AM, TP), pp. 189–200.
STOC-2000-MacielPW #principle #proving
A new proof of the weak pigeonhole principle (AM, TP, ARW), pp. 368–377.
STOC-1997-MacielP #on the #proving
On ACC0[pk] Frege Proofs (AM, TP), pp. 720–729.

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.