Rewriting Techniques and Applications Dijon, France, May 20-22, 1985 Jouannaud Jean-Pierre Heftet / 1985 / Engelsk
Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings Jouannaud Jean-Pierre Heftet / 1994 / Engelsk
Functional Programming Languages and Computer Architecture Proceedings, Nancy, France, September 16-19, 1985 Jouannaud Jean-Pierre Heftet / 1985 / Engelsk
Term Rewriting French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course Comon Hubert Heftet / 1995 / Engelsk
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings Jouannaud Jean-Pierre Heftet / 2011 / 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
