| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings | Paperback | 978-3-662-19061-6 (3-662-19061-3) | 2014 | Mitsuhiro Okada |
| Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings | Taschenbuch | 978-3-540-54317-6 (3-540-54317-1) | 2008 | " |
| Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings | " | 978-3-540-19242-8 (3-540-19242-5) | 2008 | Jean-Pierre Jouannaud |