Term Rewriting Systems

By Enno Ohlebusch. 2002

1,098 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Language and Linguistics

View Paper: https://www.semanticscholar.org/paper/17f53e3f54da283a34866745e4ae16a9ee22c46d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Jürgen Giesl
2. Thomas Arts
3. Andreas Abel

In Language and Linguistics

1. Jürgen Giesl
2. Thomas Arts

Citations in the corpus

• Globalization of confluent partial actions on topological and metric spaces (2002, neutral): “, by the classical rewriting method as used now, mainly in computer science applications such as λ-calculus and automatic theore proving [3,16] (see however [25,26] for applications to extensions of categories).”
• Termination of term rewriting using dependency pairs (2000, methodology): “For an introduction to term rewriting and its notations, we refer to Dershowitz and Jouannaud [21] and Klop [41].”