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

Gurevič, Jurij German National Library

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 Section Selected Titles

  1. The classical decision problem ‎(8) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library
  2. Tests and proofs first international conference ; revised papers ‎(2) German National Library
  3. Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers ‎(2) Sudoc [ABES], France Library of Congress/NACO
  4. Semantics of programming languages and model theory, c1993: ‎(2) Library of Congress/NACO
  5. Existential second-order logic over strings ‎(2) German National Library
  6. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers ‎(2) NUKAT Center of Warsaw University Library Library of Congress/NACO
  7. Abstract state machines theory and applications ; international workshop ; proceedings ‎(2) German National Library
  8. Abstract state machines : theory and applications : international workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 : proceedings ‎(2) National Library of the Netherlands-test
  9. ASM 2000 ‎(2) National Library of the Netherlands-test
  10. tribute to Dirk van Dalen ‎(1) National Library of the Netherlands-test

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

Open Section Close Section About

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