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

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