Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings Tison Sophie Heftet / 2002 / Engelsk
Trees in Algebra and Programming - CAAP '94 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings Tison Sophie Heftet / 1994 / Engelsk
STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings Meinel Christoph Heftet / 1999 / Engelsk
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings Reichel Horst Heftet / 2000 / Engelsk