On the regular structure of prefix rewriting

This publication has 4 references indexed in Scilit:

• The theory of ground rewrite systems is decidable
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
  Theory of Computing Systems, 1988
• The theory of ends, pushdown automata, and second-order logic
  Theoretical Computer Science, 1985
• Regular canonical systems
  Archive for Mathematical Logic, 1964