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