Yuri Gurevich
3 published titles
The classical decision problem
(Contributor)
1 edition
- ISBN: 354057073X
- Springer
- 1997
- Details
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità , Switzerland, March 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540679596
- Springer
- 2000
- Details
Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
(Contributor)
1 edition
- ISBN: 9783319235332
- Springer
- 2015
- Details
