`Travelled to:`

1 × Austria

1 × Hungary

2 × Italy

`Collaborated with:`

∅ R.Kuznets T.Straßen

`Talks about:`

logic (3) explicit (2) proof (2) theorem (1) reflect (1) omnisci (1) complex (1) scienc (1) formal (1) comput (1)

## Person: Sergei N. Artëmov

### DBLP: Art=euml=mov:Sergei_N=

### Contributed to:

### Wrote 4 papers:

- CSL-2006-ArtemovK #complexity #logic #proving
- Logical Omniscience Via Proof Complexity (SNA, RK), pp. 135–149.
- CSL-2003-Artemov #logic
- Back to the Future: Explicit Logic for Computer Science (SNA), p. 43.
- CADE-1999-Artemov #on the #proving #theorem proving #verification
- On Explicit Reflection in Theorem Proving and Formal Verification (SNA), pp. 267–281.
- CSL-1992-ArtemovS #logic #proving
- The Basic Logic of Proofs (SNA, TS), pp. 14–28.