Possibly Related Publications

The following publications are possibly variants of this publication:

• The Definability of Equational Graphs in Monadic Second-Order LogicBruno Courcelle. icalp 1989: 207-221
• Graph Operations and Monadic Second-Order Logic: A SurveyBruno Courcelle. lpar 2000: 20-24 [doi]
• Circle graphs and monadic second-order logicBruno Courcelle. japll, 6(3):416-442, 2008. [doi]
• Graph decompositions definable in monadic second-order logicBruno Courcelle. endm, 22:13-19, 2005. [doi]
• The Monadic Second-Order Logic of Graphs VIII: OrientationsBruno Courcelle. APAL, 72(2):103-143, 1995.
• Graph Operations, Graph Transformations and Monadic Second-Order Logic: a surveyBruno Courcelle. ENTCS, 51:122-126, 2001. [doi]
• The Expression of Graph Properties and Graph Transformations in Monadic Second-Order LogicBruno Courcelle. GG 1997: 313-400
• The Monadic Second-Order Logic of Graphs X: Linear OrderingsBruno Courcelle. TCS, 160(1&2):87-143, 1996. [doi]
• The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite GraphsBruno Courcelle. iandc, 85(1):12-75, March 1990.
• The Monadic Second-Order Logic of Graphs XI: Hierarchical Decompositions of Connected GraphsBruno Courcelle. TCS, 224(1-2):35-58, 1999. [doi]
• Graph grammars, monadic second-order logic and the theory of graph minorsBruno Courcelle. gst 1993: 565-590
• The Monadic Second-Order Logic of Graphs: Definable Sets of Finite GraphsBruno Courcelle. criwg 1989: 30-53
• The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded WidthBruno Courcelle. mst, 21(4):187-221, 1989.