35 citations · 80 across the 25 of their papers we have counts for
1 paper · 1 filter
Cynthia Kop, Aart Middeldorp, Thomas Sternagel
We propose a notion of complexity for oriented conditional term rewrite systems satisfying certain restrictions. This notion is realistic in the sense that it measures not only suc…