A link between multioperator and tree valuation automata and logics.

Markus Teichmann Johannes Osterholzer

Published in: Theor. Comput. Sci. (2015)

Keyphrases

tree automata
tree structure
inference rules
finite automata
cellular automata
expressive power
modal logic
neural network
regular expressions
tree models
database
social networks
decision trees
index structure
tree construction
probabilistic automata