dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 20:27:38 2009 by Michael Ley (ley@uni-trier.de)