Antonina Kolokolova

	2009
7		Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova: An axiomatic approach to algebrization. STOC 2009: 695-704
	2008
6		Antonina Kolokolova: Many Facets of Complexity in Logic. CiE 2008: 316-325
	2005
5		Antonina Kolokolova: Closure Properties of Weak Systems of Bounded Arithmetic. CSL 2005: 369-383
	2004
4		Stephen A. Cook, Antonina Kolokolova: A Second-Order Theory for NL. LICS 2004: 398-407
	2003
3		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		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)

Coauthor Index

1	Stephen A. Cook	[1] [2] [3] [4]
2	Russell Impagliazzo	[7]
3	Valentine Kabanets	[7]