5 citations · 5 across the 1 of their papers we have counts for
1 paper
Georg Moser, Maria A. Schett
In this paper we study termination of term graph rewriting, where we restrict our attention to acyclic term graphs. Motivated by earlier work by Plump we aim at a definition of the…