LC control no. | n 96097127 |
---|---|
Personal name heading | Grädel, Erich, 1958- |
Found in | 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.) |