Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Kaplan, S. (Stéphane), 1961-, Jouannaud, Jean-Pierre
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1988]
Series:	Lecture notes in computer science ; 308.
Subjects:	Rewriting systems (Computer science) > Congresses. Réécriture, Systèmes de (Informatique) Automates mathématiques, Théorie des. Rewriting systems (Computer science) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book