ENGLISH

Term Rewriting Systems

By Terese

Book information

Publisher
Cambridge University Press
Year
2003
ISBN
0521391156, 9780521391153
Language
english
Format
DJVU
Filesize
9 MB (8992550 bytes)
Series
Cambridge Tracts in Theoretical Computer Science 55
Pages
908\908
Topic
Mathematics Logic
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2014-06-04 17:37:15

Description

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.

Similar books