Antonina Kolokolova

	2012
9		Antonina Kolokolova: Expressing versus Proving: Relating Forms of Complexity in Logic. J. Log. Comput. 22(2): 267-280 (2012)
	2010
8		Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska: On the Complexity of Model Expansion. LPAR (Yogyakarta) 2010: 447-458
	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]
4	Yongmei Liu	[8]
5	David G. Mitchell	[8]
6	Eugenia Ternovska (Eugenia Ternovskaia)	[8]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page