Results 191 to 200 of about 1,681 (204)
Some of the next articles are maybe not open access.
Monadic Second-Order Logic and Automata
2004We now move to extensions of first-order logic. In this chapter we introduce second-order logic, and consider its often used fragment, monadic second-order logic,or MSO, in which one can quantify over subsets of the universe. We study the expressive power of this logic over graphs, proving that its existential fragment expresses some NP-complete ...
openaire +1 more source
Graph Operations and Monadic Second-Order Logic: A Survey
2007We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.
openaire +1 more source
The definability of equational graphs in monadic second-order logic
1989We establish that every equational graph can be characterized, up to isomorphism, by a formula of monadic second-order logic. It follows that the isomorphism of two equational graphs is decidable. Equational graphs can be used to describe the behaviour of recursive applicative program schemes.
openaire +1 more source
Where First-Order and Monadic Second-Order Logic Coincide
ACM Transactions on Computational Logic, 2016Martin Grohé, Grohemartin
exaly
The monadic second-order logic of graphs XI: Hierarchical decompositions of connected graphs
Theoretical Computer Science, 1999Bruno Courcelle
exaly
Measure Quantifier in Monadic Second Order Logic
Lecture Notes in Computer Science, 2016Henryk Michalewski, Matteo Mio
exaly
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
Journal of Applied Logic, 2006Bruno Courcelle
exaly
Monadic second-order logic on tree-like structures
Theoretical Computer Science, 2002Igor Walukiewicz
exaly