VIAF

Virtual International Authority File

Search

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

Gurevich, Y. ISNI

Yuri Gurevich American computer scientist 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 (1)

Open Section Close SectionWorks

Title Sources
Abstract state machines theory and applications : international workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 : proceedings National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
ASM 2000 National Library of the Netherlands
The classical decision problem National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
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 Sudoc [ABES], France Library of Congress/NACO
TAP 2007 Library of Congress/NACO
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers Sudoc [ABES], France Library of Congress/NACO
tribute to Dirk van Dalen National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

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 (23)