On the regular structure of prefix rewriting

Transductions and Context-Free Languages

Jean Berstel · 1979 · 1.3K citations

Computing, Computer Science, Mathematics +8

Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen · Journal of the ACM · 1980 · 509 citations · Full text

Computing, Computer Science, Mathematics +13

The theory of ends, pushdown automata, and second-order logic

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1985 · 317 citations

Computing, Computer Science, Mathematics +9

On the Uniform Halting Problem for Term Rewriting Systems

G. Huet · Medical Entomology and Zoology · 1978 · 178 citations

Computing, Computer Science, Algorithms +6

The theory of ground rewrite systems is decidable

Max Dauchet, Sophie Tison · 2002 · 154 citations

Computing, Computer Science, Formal Methods +10