BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Latvia
Collaborated with:
J.Nordström Y.Filmus M.Lauria M.Vinyals
Talks about:
understand (1) polynomi (1) calculus (1) formula (1) toward (1) simpl (1) separ (1) proof (1) lower (1) bound (1)

Person: Mladen Miksa

DBLP DBLP: Miksa:Mladen

Contributed to:

SAT 20142014
ICALP (1) 20132013

Wrote 2 papers:

SAT-2014-MiksaN #proving
Long Proofs of (Seemingly) Simple Formulas (MM, JN), pp. 121–137.
ICALP-v1-2013-FilmusLMNV #bound #calculus #comprehension #polynomial #towards
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds — (YF, ML, MM, JN, MV), pp. 437–448.

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.