Max/Plus Tree Automata for Termination of Term Rewriting.
Adam KoprowskiJohannes WaldmannPublished in: Acta Cybern. (2009)
Keyphrases
- term rewriting
- tree automata
- rewrite systems
- theorem proving
- theorem prover
- regular expressions
- finite automata
- finite state
- operational semantics
- knuth bendix
- tree languages
- syntactic pattern recognition
- finite automaton
- context free grammars
- context free
- database
- inference rules
- markov decision processes
- first order logic
- pattern matching