Liveness Verification in TRSs Using Tree Automata and Termination Analysis.

Mousa Mousazadeh Behrouz Tork Ladani Hans Zantema

Published in: Comput. Informatics (2010)

Keyphrases

tree automata
termination analysis
abstract interpretation
active rules
finite state
model checking
active databases
regular expressions
finite automata
finite automaton
tree languages
deductive databases
markov chain
context free