| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| 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 (3-540-41950-0) | 2008 | Hubert Comon · Claude Marche |
| Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings: 20th ... Notes in Computer Science , Band 5595) | 978-3-642-02347-7 (3-642-02347-9) | 2010 | |