Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 656, Band 656) - Softcover

Remy, Jean-Luc; Rusinowitch, Michael

 
9783540563938: Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 656, Band 656)
Softcover
ISBN 10: 3540563938 ISBN 13: 9783540563938
Verlag: Springer, 2008

Inhaltsangabe

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K. Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Paris in 1987 and the second at Concordia University, Montreal, in 1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540563938
ISBN 13 
9783540563938
Einband
Taschenbuch
Anzahl der Seiten
520
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387563930: Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92 Pont-A-Mousson, France, July 8-10, 1992 Proceedings (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387563938 ISBN 13:  9780387563930
Verlag: Springer Verlag, 1993
Softcover