VIAF

Virtual International Authority File

Search

Gurevich, Yuri. Sudoc [ABES], France NUKAT Center of Warsaw University Library German National Library National Library of the Netherlands Library of Congress/NACO

Gurevich, Y. ISNI

Yuri Gurevich informaticien américain Wikidata

VIAF ID: 15336161 (Personal)

Permalink: http://viaf.org/viaf/15336161

ISNI: 0000  0001  1560  8340 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (3)

Open Section Close SectionWorks

Title Sources
Abstract state machines : theory and applications : international workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 : proceedings Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
ASM 2000 National Library of the Netherlands
The classical decision problem NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday Library of Congress/NACO
LICS'88 Sudoc [ABES], France
Semantics of programming languages and model theory, c1993: Library of Congress/NACO Sudoc [ABES], France
TAP 2007 Library of Congress/NACO
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers Library of Congress/NACO Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

Open Section Close Section History of VIAF ID:15336161 (12)