Content

The course provides an introduction to term rewriting. Term rewriting is a general model of computation which has been successfully applied in many areas of computer science. Here one can think of the analysis and implementation of algebraic specifications of abstract data types, the foundations of functional (logic) programming, automated theorem proving, and code optimization in compilers, to name just a few. The following topics are discussed: abstract rewriting, equational reasoning, term rewrite systems, termination, confluence, completion, strategies.