Term Rewriting Systems

Term Rewriting Systems

Author: Terese

Publisher: Cambridge University Press

ISBN: 0521391156

Category: Computers

Page: 884

View: 951

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. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting
Term Rewriting Systems
Language: en
Pages: 182
Authors: Frank Pfenning
Categories: Computers
Type: BOOK - Published: 1998 - Publisher:

Books about Term Rewriting Systems
Conditional and Typed Rewriting Systems
Language: en
Pages: 461
Authors: Stephane Kaplan, International CTRS Workshop
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: Springer Science & Business Media

This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.