Decision Problems for Term Rewriting Systems and Recognizable Tree Languages.
Rémi GilleronPublished in: STACS (1991)
Keyphrases
- decision problems
- term rewriting systems
- tree languages
- tree automata
- finite automata
- influence diagrams
- functional programs
- context free
- computational complexity
- logic programs
- optimal policy
- utility function
- positive data
- regular expressions
- np hard
- data structure
- special case
- tree patterns
- bayesian networks
- logic programming
- database systems