| |
| 2008 | ||
|---|---|---|
| 6 | EE | Antonina Kolokolova: Many Facets of Complexity in Logic. CiE 2008: 316-325 |
| 2005 | ||
| 5 | EE | Antonina Kolokolova: Closure Properties of Weak Systems of Bounded Arithmetic. CSL 2005: 369-383 |
| 2004 | ||
| 4 | EE | Stephen A. Cook, Antonina Kolokolova: A Second-Order Theory for NL. LICS 2004: 398-407 |
| 2003 | ||
| 3 | EE | Stephen A. Cook, Antonina Kolokolova: A second-order system for polytime reasoning based on Grädel's theorem. Ann. Pure Appl. Logic 124(1-3): 193-231 (2003) |
| 2001 | ||
| 2 | Stephen A. Cook, Antonina Kolokolova: A Second-Order System for Polytime Reasoning Using Graedel's Theorem. LICS 2001: 177-186 | |
| 1 | EE | Stephen A. Cook, Antonina Kolokolova: A second-order system for polynomial-time reasoning based on Graedel's theorem Electronic Colloquium on Computational Complexity (ECCC) 8(24): (2001) |
| 1 | Stephen A. Cook | [1] [2] [3] [4] |