Descriptive characterizations of computational complexity
Journal of Computer and System Sciences
Some computational aspects of circumscription
Journal of the ACM (JACM)
The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
Handbook of theoretical computer science (vol. B)
Finite automata, formal logic, and circuit complexity
Finite automata, formal logic, and circuit complexity
The quantifier structure of sentences that characterize nondeterministic time complexity
Computational Complexity
Regular languages defined with generalized quantifiers
Information and Computation
A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
SIAM Journal on Computing
Languages, automata, and logic
Handbook of formal languages, vol. 3
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Existential second-order logic over strings
Journal of the ACM (JACM)
Query automata over finite trees
Theoretical Computer Science
Varieties Of Formal Languages
Monadic Queries over Tree-Structured Data
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Visual Web Information Extraction with Lixto
Proceedings of the 27th International Conference on Very Large Data Bases
Mona: Monadic Second-Order Logic in Practice
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
MONA 1.x: New Techniques for WS1S and WS2S
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Hardware Verification using Monadic Second-Order Logic
Proceedings of the 7th International Conference on Computer Aided Verification
Second-Order Logic over Strings: Regular and Non-regular Fragments
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Logics For Context-Free Languages
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
A Conjunctive Logical Characterization of Nondeterministic Linear Time
CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
Two-Variable Descriptions of Regularity
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Existential second-order logic over graphs: charting the tractability frontier
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Monadic datalog and the expressive power of languages for Web information extraction
Journal of the ACM (JACM)
Existential second-order logic over graphs: Charting the tractability frontier
Journal of the ACM (JACM)
The Lixto data extraction project: back and forth between theory and practice
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient algorithms for processing XPath queries
ACM Transactions on Database Systems (TODS)
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
Monadic datalog over finite structures with bounded treewidth
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fragments of Monadic Second-Order Logics Over Word Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Tree acceptors and some of their applications
Journal of Computer and System Sciences
Hi-index | 0.02 |
In this paper, we survey results related to the model checking problem for second-order logic over classes of finite structures, including word structures (strings), graphs, and trees, with a focus on prefix classes, that is, where all quantifiers (both first- and second-order ones) are at the beginning of formulas. A complete picture of the prefix classes defining regular and non-regular languages over strings is known, which nearly completely coincides with the tractability frontier; some complexity issues remain to be settled, though. Over graphs and arbitrary relational structures, the tractability frontier is completely delineated for the existential second-order fragment, while it is less explored for trees. Besides surveying some of the results, we mention some open issues for research.