Browse
FAQ

Author

Yuri Gurevich

6 books found

Cover of Fields of logic and computation

Fields of logic and computation

Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · First published 2010

Cover of Tests and Proofs

Tests and Proofs

Bertrand Meyer, Yuri Gurevich · First published 2007

Cover of Abstract state machines

Abstract state machines

Yuri Gurevich · First published 2000

Cover of Classical Decision Problem

Classical Decision Problem

Egon Börger, Erich Grädel, Yuri Gurevich · First published 1997

Cover of Computer science logic

Computer science logic

Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich · First published 1994

Cover of Semantics of programming languages and model theory

Semantics of programming languages and model theory

Manfred Droste, Yuri Gurevich · First published 1993