A Regular Characterization of Graph Languages Definable in Monadic Second-Order Logic.

Joost Engelfriet

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

Keyphrases

monadic second order logic
expressive power
data complexity
first order logic
query language
context free
tree automata
graph theory
context free grammars
data model
object oriented
n gram
structured data
query evaluation
regular expressions