Logics and Automata for Totally Ordered Trees.

Marco Kuhlmann Joachim Niehren

Published in: RTA (2008)

Keyphrases

totally ordered
partially ordered
tree automata
partial order
expressive power
decision trees
finite automata
modal logic
cellular automata
tree structure
regular expressions
probabilistic automata
finite automaton
search engine
partial ordering
classical logic
finite state
finite state machines
inference rules