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