The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.
"synopsis" may belong to another edition of this title.
Book Description Academic Press, 1988. Book Condition: Good. N/A. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP80136266
Book Description Academic Press, 1987. Book Condition: Good. This book has soft covers.Ex-library,With usual stamps and markings,In good all round condition. Bookseller Inventory # 2645305
Book Description Academic Press, London, 1987. paperback. Book Condition: Good. Dust Jacket Condition: No Dust Jacket. Reprint. Small marks on the cover. Clean Copy. Bookseller Inventory # 052314
Book Description Book Condition: Good. Book Condition: Good. Bookseller Inventory # 97801239096024.0
Book Description Academic Press, 1987. Paperback. Book Condition: Very Good. Text clean and solid; 220 pages. Bookseller Inventory # 158863