Travelled to:1 × Germany
1 × Hungary
Collaborated with:S.N.Artëmov ∅
Talks about:complex (2) logic (2) explicit (1) omnisci (1) proof (1) modal (1)
Person: Roman Kuznets
DBLP: Kuznets:Roman
Contributed to:
20062000Wrote 2 papers:
- CSL-2006-ArtemovK #complexity #logic #proving
- Logical Omniscience Via Proof Complexity (SNA, RK), pp. 135–149.
- CSL-2000-Kuznets #complexity #logic #on the
- On the Complexity of Explicit Modal Logics (RK), pp. 371–383.