Skip to content
Vinony

Yuri Gurevich

No biography available.

Works (4)

Cover of Fields of logic and computation
Fields of logic and computation
Cover of Abstract state machines
Abstract state machines
Cover of Computer science logic
Computer science logic
1994
Cover of Semantics of programming languages and model theory
Semantics of programming languages and model theory