Related Books
Language: en
Pages: 420
Pages: 420
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between t
Language: en
Pages: 926
Pages: 926
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 tran
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 1999-08-05 - Publisher: Cambridge University Press
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, ter
Language: en
Pages: 426
Pages: 426
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
Language: en
Pages: 422
Pages: 422
Type: BOOK - Published: 2007-08-14 - Publisher: Springer
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering