Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Stefan S. Dantchev
Recent Publications
Parameterized Proof Complexity
Stefan S. Dantchev
,
Barnaby Martin
,
Stefan Szeider
Computational Complexity
, volume 20, number 1, pages 51-85, 2011.
bib
DOI
Full Publication List »
bib
×