Rewriting Techniques and Applications 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings Ganzinger Harald Heftet / 1996 / Engelsk
Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings Ganzinger Harald Heftet / 1999 / Engelsk
ESOP '88 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings Ganzinger Harald Heftet / 1988 / Engelsk
Programs as Data Objects Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 Ganzinger Harald Heftet / 1986 / Engelsk
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings Ganzinger Harald Heftet / 1999 / Engelsk
