Login / Signup

On tree automata that certify termination of left-linear term rewriting systems.

Alfons GeserDieter HofbauerJohannes WaldmannHans Zantema
Published in: Inf. Comput. (2007)
Keyphrases
  • tree automata
  • term rewriting systems
  • finite automata
  • regular expressions
  • logic programs
  • finite state
  • functional programs
  • syntactic pattern recognition
  • finite automaton
  • tree languages