Yuri Gurevich profile picture

Yuri Gurevich

Is this your author profile? Create an account to customize it!

Stand Alone

Fields of logic and computation
Abstract state machines
Current Trends In Theoretical Computer Science: Essays And Tutorials
Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings