Abstract Reduction Systems

  • Enno Ohlebusch


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).


Normal Form Reduction Sequence Reduction Modulo Lexicographic Product Local Confluence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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

Copyright information

© Springer Science+Business Media New York 2002

Authors and Affiliations

  • Enno Ohlebusch
    • 1
  1. 1.Research Group in Practical Computer Science, Faculty of TechnologyUniversity of BielefeldBielefeldGermany

Personalised recommendations