کتاب های Harald Ganzinger

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
Harald Ganzinger (auth.), Neil D. Jones (eds.), 1980
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.), 1999
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.), 1999
Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings
Harald Ganzinger (auth.), Friedhelm Meyer, Burkhard Monien (eds.), 1996