H. C. · Hubert Camon · Hubert Comon-Lundh · Hubert et al Comon
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings | 978-3-540-42345-4 | 2008 | Gerard Berry · Alain Finkel | |
| Constraints in Computational Logics. Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised ... Notes in Computer Science , Band 2002) | 978-3-540-41950-1 | 2008 | Claude Marche · Ralf Treinen | |
| Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings | 978-3-540-62950-4 | 2008 | ||
| Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course | 978-3-540-59340-9 | 2008 | Jean-Pierre Jouannaud | |
| Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993: Advanced Course | 978-0-387-59340-1 | 1995 | ||