VIAF

Virtual International Authority File

Search

Gurevich, Yuri. Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library Wikipedia (en)-test

Gurevich, Y. ISNI-test

VIAF ID: 15336161 (Personal)

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

ISNI-test: 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-test Sudoc [ABES], France Library of Congress/NACO
The classical decision problem NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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
Semantics of programming languages and model theory, c1993: Sudoc [ABES], France 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

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