Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings Comon Hubert Heftet / 1997 / Engelsk
Term Rewriting French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course Comon Hubert Heftet / 1995 / Engelsk
Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures Comon Hubert Heftet / 2001 / Engelsk
Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings Berry Gerard Heftet / 2001 / Engelsk