👤

Yuri Gurevich

5 books

Books by Yuri Gurevich

Fields of logic and computation
Fields of logic and computation
2010
Abstract State Machines - Theo
Abstract State Machines - Theory and Applications
2003
Classical Decision Problem
Classical Decision Problem
2001
Abstract state machines
Abstract state machines
2000
Semantics of programming languages and model theory
Semantics of programming languages and model theory
1993