Conditional term rewriting systems [electronic resource] / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.)

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

Online Access:	Full Text (via Springer)
Corporate Author:	International Workshop CTRS Pont-à-Mousson, France
Other Authors:	Rusinowitch, M. (Michael), Remy, J. L.
Format:	Electronic 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. Rewriting systems (Computer science) Conference papers and proceedings.