Non abbiamo ancora una biografia di Yuri Gurevich.
Pubblicato in Inglese
Computer science logic
1994
Classical Decision Problem
2001
Tests and Proofs
2007
Semantics of programming languages and model theory
1993
Fields of logic and computation
2010
Abstract state machines
2000
Abstract State Machines - Theory and Applications
2003
Otium
