Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings Jouannaud Jean-Pierre Heftet / 1994 / Engelsk
Conditional Term Rewriting Systems 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings Kaplan Stephane Heftet / 1988 / Engelsk
TAPSOFT '93: Theory and Practice of Software Development 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings Gaudel Marie-Claude Heftet / 1993 / Engelsk
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Futatsugi Kokichi Heftet / 2006 / Engelsk
