We will introduce term rewriting by first abstracting from the term structure. In other words, to start, we will concentrate on the so-called abstract reduction systems (ARSs).
KeywordsNormal Form Reduction Sequence Reduction Modulo Lexicographic Product Local Confluence
Unable to display preview. Download preview PDF.
- 1.In the computer science literature, a relation without infinite descending chains (i.e., a terminating relation) is often called Noetherian (after the mathematician Emmy Noether, 1882–1935). However, in the mathematical literature, such a relation is usually called Artinian (after the mathematician Emil Artin, 1898–1962) and relations without infinite ascending chains are called Noetherian. In order to avoid confusion, we will not use Noetherian or Artinian notions in this book.Google Scholar
© Springer Science+Business Media New York 2002