Login / Signup
Tree Automata in the Theory of Term Rewriting.
Magnus Steinby
Published in:
Words, Languages & Combinatorics (2000)
Keyphrases
</>
term rewriting
tree automata
theorem proving
regular expressions
knuth bendix
theorem prover
finite automata
rewrite systems
tree languages
finite state
operational semantics
syntactic pattern recognition
state space
data management
hidden markov models
high level
knowledge base
databases
database