Term Rewriting Systems

Bezem, M. (Editor)/ De Vrijer, R. C. (Editor)/ Klop, Jan Willem (Editor)

ISBN 10: 0521391156 / ISBN 13: 9780521391153

Published by Cambridge Univ Pr, 2003

About this Item

680 pages. 9.50x6.25x1.75 inches. In Stock.

Seller Inventory # x-0521391156

Bibliographic Details

• Title: Term Rewriting Systems
• Publisher: Cambridge Univ Pr
• Publication Date: 2003
• Language: English
• ISBN 10: 0521391156
• ISBN 13: 9780521391153
• Binding: Hardcover
• Condition: Brand New
• Weight: 2.36 kilograms

About this title

Synopsis

Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter material appearing for the first time in book form. Subjects treated include orthogonality, termination, lambda calculus and term graph rewriting. There is also a chapter detailing the required mathematical background.

Book Description

Term rewriting systems have greatly influenced theoretical computer science. Such systems consist of sequences of discrete steps where one term is replaced with another, and thus have applications in many areas, from automatic theorem proving systems to computer algebra. The early introductory chapters are followed by higher level material, much of which appears here for the first time in book form. Many exercises are included, with selected solutions, and there is a comprehensive bibliography, making the book ideal both for teaching and for research.