Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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
Gradel, Erich (1958- ))
Meinke, K.
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, 1996:, 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
Semantics of programming languages and model theory, c1993:
Special issue : a tribute to Dirk van Dalen
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