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. Springer 1995 Lecture Notes in Computer Science 968 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. Springer 1993 Lecture Notes in Computer Science 656 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. Springer 1991 Lecture Notes in Computer Science 516 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. Springer 1988 Lecture Notes in Computer Science 308 ISBN 3-540-19242-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team