Selected Publications
Research
Teaching
Science Management
Papers, Talks, CV
The Classical Decision Problem
Egon Börger
,
Erich Grädel
,
Yuri Gurevich
Springer Verlag,
1997
Printed
CL
Related
Computability, Complexity, Logic
Cite
×