Multi-Valued MSO Logics OverWords and Trees.

Manfred Droste Werner Kuich George Rahonis

Published in: Fundam. Informaticae (2008)

Keyphrases

multi valued
truth values
tree automata
valued logic
single valued
expressive power
multiple valued
modal logic
monadic second order logic
regular expressions
logic synthesis
finite state
inference rules
undirected graph
tree structure
special case
normal form