1 × Finland
1 × Portugal
1 × United Kingdom
B.Durand A.A.Muchnik M.Ushakov A.V.Chernov D.P.Skvortsov E.Z.Skvortsova S.Porrot M.Dauchet
determinist (1) transduc (1) proposit (1) variant (1) sequenc (1) formula (1) realiz (1) ration (1) random (1) machin (1)
Person: Nikolai K. Vereshchagin
Wrote 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.