Items where Author / Artist / Editor is "Szeider, Stefan"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Dantchev, Stefan, Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1) . pp. 51-85. ISSN 1016-3328 [Article] (doi:10.1007/s00037-010-0001-1)
