The Classical Decision Problem
Börger, Egon; Grädel, Erich; Gurevich, Yuri
Berlin [u.a.] / Springer (1997) [Book]
Page(s): XII, 482 S : graph. Darst
Identifier
- ISBN: 0-387-57073-X
- ISBN: 3-540-57073-X
- REPORT NUMBER: RWTH-CONV-211648
Börger, Egon; Grädel, Erich; Gurevich, Yuri
Berlin [u.a.] / Springer (1997) [Book]
Page(s): XII, 482 S : graph. Darst