Trees in Algebra and Programming - CAAP '96 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings Kirchner, Helene Heftet / 1996 / Engelsk
Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings Kirchner Claude Heftet / 1998 / Engelsk
Algebraic and Logic Programming Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings Kirchner, Helene Heftet / 1992 / Engelsk
Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings Kirchner, Helene Heftet / 2002 / Engelsk
Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings Kirchner, Helene Heftet / 2000 / Engelsk
Algebraic and Logic Programming Second International Conference, Nancy, France, October 1-3, 1990. Proceedings Kirchner, Helene Heftet / 1990 / Engelsk
