Login / Signup
The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach.
Eugénie Foustoucos
Labrini Kalantzi
Published in:
Fundam. Informaticae (2009)
Keyphrases
</>
database
databases
tree automata
database systems
database management systems
finite automata
monadic second order logic
data model
data structure
computational complexity
relational databases
query language
data management
markov chain