10 citations · 27 across the 5 of their papers we have counts for
1 paper · 1 filter
Bertram Felgenhauer
It is known that the first-order theory of rewriting is decidable for ground term rewrite systems, but the general technique uses tree automata and often takes exponential time. Fo…