Yuri Gurevich · 7 obras en el catálogoObrasFields of logic and computationAbstract state machinesSemantics of programming languages and model theoryClassical Decision ProblemTTests and ProofsTests and ProofsAAbstract State Machines - Theory and ApplicationsAbstract State Machines - Theory and ApplicationsComputer science logic1994