Advanced Topics In Term Rewriting

Unlike Current Survey Articles And Textbooks, Here The So-called Confluence And Termination Hierarchies Play A Key Role. Throughout, The Relationships Between The Properties In The Hierarchies Are Reviewed, And It Is Shown That For Every Implication X Y In The Hierarchies, The Property X Is Undecidable For All Term Rewriting Systems Satisfying Y. Topics Covered Include: The Newest Techniques For Proving Termination Of Rewrite Systems; A Comprehensive Chapter On Conditional Term Rewriting Systems; A State-of-the-art Survey Of Modularity In Term Rewriting, And A Uniform Framework For Term And Graph Rewriting, As Well As The First Result On Conditional Graph Rewriting.