Term Rewriting Systems

Term Rewriting Systems

Author: Terese

Publisher: Cambridge University Press

ISBN: 0521391156

Category: Computers

Page: 884

View: 288

Download Now
Table of contents
Term Rewriting Systems
Language: en
Pages: 884
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

Table of contents
Conditional Term Rewriting Systems
Language: en
Pages: 501
Authors: Michael Rusinowitch, Jean-Luc Remy
Categories: Computers
Type: BOOK - Published: 1993-01-29 - Publisher: Springer Science & Business Media

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 deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume
Term Rewriting and Applications
Language: en
Pages: 414
Authors: Frank Pfenning
Categories: Computers
Type: BOOK - Published: 2006-07-26 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006 within the scope of FLoC 2006, the 2006 Federated Logic Conference. The 23 revised full papers and 4 systems description papers carefully reviewed and
Conditional Term Rewriting Systems
Language: en
Pages: 278
Authors: Stephane Kaplan
Categories: Computers
Type: BOOK - Published: 1988-06-22 - Publisher: Springer Science & Business Media

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 purpose of the workshop to
Term Rewriting and All That
Language: en
Pages: 301
Authors: Franz Baader, Tobias Nipkow
Categories: Computers
Type: BOOK - Published: 1999-08-05 - Publisher: Cambridge University Press

Unified and self-contained introduction to term-rewriting; suited for students or professionals.