- Tytuł:
- The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach
- Autorzy:
-
Foustoucos, E.
Kalantzi, L. - Data publikacji:
- 2009
- Słowa kluczowe:
-
Monadic second-order logic (MSO) evaluation problem
MSO queries
tree automata
datalog queries
acyclic conjunctive queries
Yannakakis algorithm
datalog rewriting algorithms
definability - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł