著者典拠情報

著者標目形：
Grädel, Erich, 1958-
属性：
Personal
日付：
1958-
注記：
The classical decision problem, 1996: CIP t.p. (Erich Grädel) pub. info. (b. 8-27-58; Lehrgebiet Math. Grundlagen der Informatik, RWTH Aachen, Aachen, Ger.)
SRC:The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich(Springer, c1997)
著者典拠ID：
DA10354837


1.

図書
図書
1. Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2500
所蔵情報: 図書館
2.

図書
図書
2. The classical decision problem (: gw)
Egon Börger, Erich Grädel, Yuri Gurevich
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Perspectives in mathematical logic
所蔵情報: 図書館, 研究室