Yuri Gurevich

No bio available. Add one in Open Library.

Books by Yuri Gurevich (50 max)

+ shelf+ list

Computer science logic: 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

1994

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

+ shelf+ list

The Classical Decision Problem

1997

Egon Börger, Erich Grädel, Yuri Gurevich

+ shelf+ list

Semantics of programming languages and model theory

1993

Manfred Droste, Yuri Gurevich

+ shelf+ list

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Yuri Gurevich

+ shelf+ list

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

2003

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

+ shelf+ list

Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

2007

Bertrand Meyer, Yuri Gurevich

+ shelf+ list

Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

2010

Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig