Items where Author is "Thomas, Michael"
Group by: Item Type | No Grouping Jump to: Article Number of items: 2. ArticleBeyersdorff, Olaf ; Datta, Samir ; Krebs, Andreas ; Mahajan, Meena ; Scharfenberger-Fabian, Gido ; Sreenivasaiah, Karteek ; Thomas, Michael ; Vollmer, Heribert (2013) Verifying proofs in constant depth ACM Transactions on Computation Theory, 5 (1). pp. 1-23. ISSN 1942-3454 Datta, Samir ; Mahajan, Meena ; Raghavendra Rao, B.V. ; Thomas, Michael ; Vollmer, Heribert (2012) Counting classes and the fine structure between NC1 and L Theoretical Computer Science, 417 . pp. 36-49. ISSN 0304-3975 |