Term rewriting : French Spring School of Theoretical Computer Scas printed], France, May 17-21, 1993 : advanced course /

"This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993. This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to...

Full description

Bibliographic Details
Corporate Authors: French Spring School of Theoretical Computer Science, SpringerLink (Online service)
Other Authors: Comon, Hubert, Jouannaud, Jean-Pierre
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer Verlag, [1995]
Series:Lecture notes in computer science ; 909.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA75.5 .F74 1993
 
Call Number Status Get It
QA75.5 .F74 1993 Available