Travelled to:1 × Finland
1 × Portugal
1 × United Kingdom
Collaborated with:B.Durand A.A.Muchnik M.Ushakov A.V.Chernov D.P.Skvortsov E.Z.Skvortsova S.Porrot M.Dauchet
Talks about:determinist (1) transduc (1) proposit (1) variant (1) sequenc (1) formula (1) realiz (1) ration (1) random (1) machin (1)
Person: Nikolai K. Vereshchagin
DBLP: Vereshchagin:Nikolai_K=
Contributed to:
2004
2002
1998Wrote 3 papers:
- ICALP-2004-DurandMUV #turing machine
- Ecological Turing Machines (BD, AAM, MU, NKV), pp. 457–468.
- CSL-2002-ChernovSSV #logic
- Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.
- FoSSaCS-1998-PorrotDDV #random #sequence #transducer
- Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.