Conditional and typed rewriting systems
: proceedings / 2nd International CTRS Workshop, Montreal, Canada, June 11 - 14, 1990. S. Kaplan ; M. Okada (ed.). - Berlin : Springer, 1991. - X, 461 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 516)
ISBN 978-3-540-54317-6 / 3-540-54317-1 kart. : DM 66.00
1 als fortlaufendes Sammelwerk behandelt. - Literaturangaben
Quelle: DNB
Conditional and typed rewriting systems
: 4th international workshop ; proceedings / CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Nachum Dershowitz ; Naomi Lindenstrauss (ed.). - Berlin : Springer, 1995. - VIII, 373 S.; 24 cm - (Lecture notes in computer science; Vol. 968)
ISBN 978-3-540-60381-8 / 3-540-60381-6 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Conditional term rewriting systems
: third international workshop, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings / CTRS-92. M. Rusinowitch ; J. L. Rémy (ed.). - Berlin : Springer, 1993. - XI, 501 S.; 24 cm - (Lecture notes in computer science; Vol. 656)
ISBN 978-3-540-56393-8 / 3-540-56393-8 kart. : DM 96.00
Literaturangaben
Quelle: DNB
