On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems.

Alfons Geser Dieter Hofbauer Johannes Waldmann Hans Zantema

Published in: RTA (2005)

Keyphrases

tree automata
term rewriting systems
regular expressions
finite automata
tree languages
finite state
functional programs
finite automaton
databases
logic programs
database
state space
pattern matching
context free grammars
grammatical inference