Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bruno Courcelle. Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games. Volume 5125 of Lecture Notes in Computer Science, pages 1-13, Springer, 2008. [doi]

The following publications are possibly variants of this publication:

Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical ApplicationsBruno Courcelle. LATA 2009: 19-22 [doi]

Graph Structure and Monadic Second-Order Logic - A Language-Theoretic ApproachBruno Courcelle, Joost Engelfriet. Volume 138 of Encyclopedia of mathematics and its applications, Cambridge University Press, 2012. [doi]

Book: Graph Structure and Monadic Second-Order Logic. A Language-Theoretic ApproachBruno Courcelle, Joost Engelfriet. eatcs, 108:179, 2012. [doi]

The Monadic Second-Order Logic of Graphs VII: Graphs as Relational StructuresBruno Courcelle. TCS, 101(1):3-33, 1992.

The Monadic Second-order Logic of Graphs VI: On Several Representations of Graphs by Relational StructuresBruno Courcelle. DAM, 63(2):199-200, 1995. [doi]

The Monadic Second order Logic of Graphs VI: on Several Representations of Graphs By Relational StructuresBruno Courcelle. DAM, 54(2-3):117-149, 1994. [doi]

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]

runs on WebDSL