Advanced Topics in Term Rewriting /

The book is intended for researchers, not only for those working in term rewriting, but it is also of interest for scientists working in areas like functional or logic programming, formal methods, automated reasoning, and symbolic computation, since term rewriting is also a fundamental concept in th...

Full description

Bibliographic Details

Main Author:	Ohlebusch, Enno
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 2002.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book