BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × United Kingdom
2 × USA
Collaborated with:
S.A.Cook R.Impagliazzo V.Kabanets R.Robere V.Ganesh
Talks about:
system (2) second (2) order (2) properti (1) arithmet (1) approach (1) theorem (1) polytim (1) graedel (1) complex (1)

Person: Antonina Kolokolova

DBLP DBLP: Kolokolova:Antonina

Contributed to:

STOC 20092009
CSL 20052005
LICS 20042004
LICS 20012001
CAV (2) 20182018

Wrote 5 papers:

STOC-2009-ImpagliazzoKK #approach #axiom
An axiomatic approach to algebrization (RI, VK, AK), pp. 695–704.
CSL-2005-Kolokolova #bound
Closure Properties of Weak Systems of Bounded Arithmetic (AK), pp. 369–383.
LICS-2004-CookK #higher-order
A Second-Order Theory for NL (SAC, AK), pp. 398–407.
LICS-2001-CookK #higher-order #reasoning #theorem #using
A Second-Order System for Polytime Reasoning Using Graedel’s Theorem (SAC, AK), pp. 177–186.
CAV-2018-RobereKG #complexity #proving #smt
The Proof Complexity of SMT Solvers (RR, AK, VG), pp. 275–293.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.