Term Rewriting Systems

Term Rewriting Systems

Author: Terese

Publisher: Cambridge University Press

ISBN: 0521391156

Category: Computers

Page: 926

View: 249

Download Now
Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.
Term Rewriting Systems
Language: en
Pages: 926
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003
Conditional Term Rewriting Systems
Language: en
Pages: 520
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 All That
Language: en
Pages: 318
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.
Conditional and Typed Rewriting Systems
Language: en
Pages: 392
Authors: International Workshop on Conditional (And Typed) Rewriting Systems 19
Categories: Computers
Type: BOOK - Published: 1995-09-22 - Publisher: Springer Science & Business Media

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area of rewriting in general achieved
Conditional and Typed Rewriting Systems
Language: en
Pages: 500
Authors: Stephane Kaplan, International CTRS Workshop
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: Springer Science & Business Media

In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed Rewriting Systems) workshops are intended