Conditional and Typed Rewriting Systems (CTRS)
4. CTRS 1994: Jerusalem, Israel
Nachum Dershowitz, Naomi Lindenstrauss (Eds.):
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings.
Lecture Notes in Computer Science 968 Springer 1995, ISBN 3-540-60381-6
Contents 
3. CTRS 1992: Pont-à-Mousson, France
Michaël Rusinowitch, Jean-Luc Remy (Eds.):
Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings.
Lecture Notes in Computer Science 656 Springer 1993, ISBN 3-540-56393-8
Contents
2. CTRS 1990: Montreal, Canada
Stéphane Kaplan, Mitsuhiro Okada (Eds.):
Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings.
Lecture Notes in Computer Science 516 Springer 1991, ISBN 3-540-54317-1
Contents
1. CTRS 1987: Orsay, France
Stéphane Kaplan, Jean-Pierre Jouannaud (Eds.):
Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings.
Lecture Notes in Computer Science 308 Springer 1988, ISBN 3-540-19242-5
Contents
Copyright © Mon Mar 15 03:27:15 2010
by Michael Ley (ley@uni-trier.de)
