Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000115608340 | 1 hits
Person
ISNI: 
0000 0001 1560 8340
Name: 
Gurevich, Y.
Gurevich, Yuri
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Barendrecht, H.
Boerger, Egon (1946- ))
Börger, Egon (1946-)
Dershowitz, Nachum
Droste, Manfred (1956-....))
Gradel, Erich (1958- ))
International Workshop, ASM 2000 (19-03-2000 - 24-03-2000 : Monte Verità, Switzerland)
Meinke, Karl
Meyer, Bertrand (1950-....))
TAP 2007 (2007 : Zurich, Switzerland)
Titles: 
Abstract state machines theory and applications : international workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 : proceedings
ASM 2000
classical decision problem, The
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
LICS'88
Semantics of programming languages and model theory
TAP 2007
Tests and Proofs First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
tribute to Dirk van Dalen
Notes: 
Sources: 
VIAF LC NTA NUKAT SUDOC WKP