Conditional term rewriting systems /

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 deduct...

Full description

Bibliographic Details

Corporate Authors:	International Workshop CTRS 1992 : Pont-à-Mousson, France, SpringerLink (Online service)
Other Authors:	Rusinowitch, M. (Michael), Remy, J. L.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1993.
Series:	Lecture notes in computer science ; 656.
Subjects:	Rewriting systems (Computer science) > Congresses. Programmeren (computers) Rewriting systems (Computer science) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book