Author

Yuri Gurevich

7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
Computer science logic

Computer science logic

1994 Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, and Yuri Gurevich
Abstract state machines

Abstract state machines

Year unknown
Abstract State Machines - Theory ...

Abstract State Machines - Theory and Applications

Year unknown Yuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele
Classical Decision Problem

Classical Decision Problem

Year unknown Egon Börger, Erich Grädel, and Yuri Gurevich
Fields of logic and computation

Fields of logic and computation

Year unknown Yuri Gurevich, Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig
Semantics of programming languages and model theory

Semantics of programming languages and model theory

Year unknown Manfred Droste and Yuri Gurevich
Tests and Proofs

Tests and Proofs

Year unknown Yuri Gurevich and Bertrand Meyer

Fetched from OpenLibrary. Some translations may appear as separate works.