`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: Kolokolova:Antonina

### Contributed to:

### 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.