# Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects

@inproceedings{Courcelle2008GraphSA, title={Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects}, author={Bruno Courcelle}, booktitle={ICALP}, year={2008} }

Graph structureis a flexible concept covering many different types of graph properties. Hierarchical decompositions yielding the notions of tree-width and clique-width, expressed by terms written with appropriate graph operations and associated with Monadic Second-order Logicare important tools for the construction of Fixed-Parameter Tractable algorithms and also for the extension of methods and results of Formal Language Theory to the description of sets of finite graphs. This informal…

## 13 Citations

### Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications

- Computer ScienceLATA
- 2009

This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-width and…

### Distributed Graph Automata

- Computer Science, Mathematics2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
- 2015

A new class of finite graph automata that recognize precisely the languages of finite graphs definable in monadic second-order logic is introduced.

### An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning

- Philosophy, Computer ScienceFoSSaCS
- 2020

A set of simple features are described that are sufficient in order to make the satisfiability problem of logics interpreted on trees Tower-hard and it is proved that this logic is captured by four other logics that were independently found to be Tower-complete.

### Quantifiers and n-ary binders: an OpenMath standard enhancement proposal

- PhilosophyCICM Workshops
- 2013

It is proposed that the restriction in the OpenMath standard that an OMBIND element must have exactly three children should be lifted, to support more general binder symbols. The case of logics with…

### The Stackelberg minimum spanning tree game on planar and bounded-treewidth graphs

- MathematicsWINE
- 2009

The Stackelberg Minimum Spanning Tree Game is a two-level combinatorial pricing problem played on a graph representing a network that is NP-hard on planar graphs but can be solved in polynomial time on graphs of bounded treewidth.

### Origin-equivalence of two-way word transducers is in PSPACE

- Computer ScienceFSTTCS
- 2018

It is proved that decidability can be equally recovered by adopting a slightly different, but natural semantics, called origin semantics, and introduced by Bojanczyk in 2014.

### Application of logic to combinatorial sequences and their recurrence relations

- MathematicsAMS-ASL Joint Special Session
- 2009

This paper presents a meta-analyses of the model Theoretic Interpretations of Counting Functions using LaSalle’s inequality as a model for solving the inequality of the following types: 1-2-3, 2-3-4, and 3-4-5.

### Optimally Conﬁning Lattice Polymers

- Mathematics
- 2022

We introduce the Lattice Polymer Conﬁnement Problem (LPCP), where provided a graph G corresponding to a solid or hole-containing ﬁnite lattice, and provided a ﬁnite set of vertex-wise lengths L ⊂ N…

### A parallel approach for detecting OpenFlow rule anomalies based on a general formalism

- Computer ScienceConcurr. Comput. Pract. Exp.
- 2021

An offline method for detecting unmatched OpenFlow rules, that is, rules that are never fired, and a new set of definitions for the intraanomalies between rules in the same table, which might occur when using the multiaction feature of an OpenFlow rule.

## References

SHOWING 1-10 OF 70 REFERENCES

### The Monadic Second-Order Logic of Graphs VII: Graphs as Relational Structures

- MathematicsTheor. Comput. Sci.
- 1992

### Vertex-minors, monadic second-order logic, and a conjecture by Seese

- MathematicsJ. Comb. Theory, Ser. B
- 2007

### The Monadic Second-Order Logic of Graphs XI: Hierarchical Decompositions of Connected Graphs

- MathematicsTheor. Comput. Sci.
- 1999

### Logical Description of Contex-Free Graph Languages

- Computer ScienceJ. Comput. Syst. Sci.
- 1997

A graph language L is in the class C-edNCE of context-free edNCE graph languages if and only if L= f(T) where f is a partial function on graphs that can be defined in monadic second-order logic and T…

### The monadic second-order logic of graphs XVI : Canonical graph decompositions

- MathematicsLog. Methods Comput. Sci.
- 2006

It is established that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic and it is proved that the set of graphs having the same cycle matroid as a given 2-connected graph can be defined from this graph by Monadic second-Order formulas.

### Logic, graphs, and algorithms

- MathematicsLogic and Automata
- 2007

An introduction into the theory underlying algorithmic meta theorems and a survey of the most important results in this area are presented.

### Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems

- Mathematics, Computer ScienceAnn. Pure Appl. Log.
- 1998

### The Monadic Second-Order Logic of Graphs X: Linear Orderings

- MathematicsTheor. Comput. Sci.
- 1996

### The Structure of Models of Decidable Monadic Theories of Graphs

- MathematicsAnn. Pure Appl. Log.
- 1991

### The monadic second-order logic of graphs XV: On a conjecture by D. Seese

- MathematicsJ. Appl. Log.
- 2006