Gurevich, Yuri.
VIAF ID: 15336161 (Personal)
Permalink: http://viaf.org/viaf/15336161
Preferred Forms
-
100 1 _ ‡a Gurevich, Yuri
-
100 1 _ ‡a Gurevich, Yuri
-
100 1 _ ‡a Gurevich, Yuri.
-
100 1 0 ‡a Gurevich, Yuri
-
100 1 _ ‡a Gurevich, Yuri (undifferentiated)
Selected Titles
- The classical decision problem
(7)
- The classical decision problem
(2)
- Tests and proofs first international conference ; revised papers
(2)
- Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
(2)
- Semantics of programming languages and model theory, c1993:
(2)
- Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
(2)
- Abstract state machines theory and applications ; international workshop ; proceedings
(2)
- Abstract state machines theory and applications : international workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 : proceedings
(2)
- ASM 2000
(2)
- tribute to Dirk van Dalen
(1)
