Bruno Courcelle The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs [Citation Graph (2, 0)][DBLP] Inf. Comput., 1990, v:85, n:1, pp:12-75 [Journal]
Bruno Courcelle, Pierre Deransart Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming [Citation Graph (1, 0)][DBLP] Inf. Comput., 1988, v:78, n:1, pp:1-55 [Journal]
Bruno Courcelle An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. [Citation Graph (1, 0)][DBLP] Theor. Comput. Sci., 1987, v:55, n:2-3, pp:141-181 [Journal]
Bruno Courcelle On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP] Descriptive Complexity and Finite Models, 1996, pp:33-62 [Conf]
Bruno Courcelle Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey. [Citation Graph (0, 0)][DBLP] Developments in Language Theory, 2004, pp:1-11 [Conf]
Bruno Courcelle Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement. [Citation Graph (0, 0)][DBLP] FCT, 1993, pp:181-193 [Conf]
Bruno Courcelle Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:1-4 [Conf]
Bruno Courcelle The Logical Exprssion of Graph Properties (Abstract). [Citation Graph (0, 0)][DBLP] Graph-Grammars and Their Application to Computer Science, 1990, pp:38-40 [Conf]
Bruno Courcelle The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP] Handbook of Graph Grammars, 1997, pp:313-400 [Conf]
Bruno Courcelle Graphs as Relational Structures: An Algebraic an Logical Approach. [Citation Graph (0, 0)][DBLP] Graph-Grammars and Their Application to Computer Science, 1990, pp:238-252 [Conf]
Bruno Courcelle A representation of graphs by algebraic expressions and its use for graph rewriting systems. [Citation Graph (0, 0)][DBLP] Graph-Grammars and Their Application to Computer Science, 1986, pp:112-132 [Conf]
Bruno Courcelle On context-free sets of graphs and their monadic second-order theory. [Citation Graph (0, 0)][DBLP] Graph-Grammars and Their Application to Computer Science, 1986, pp:133-146 [Conf]
Bruno Courcelle Graph grammars, monadic second-order logic and the theory of graph minors. [Citation Graph (0, 0)][DBLP] Graph Structure Theory, 1991, pp:565-590 [Conf]
Bruno Courcelle On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1990, pp:190-196 [Conf]
Bruno Courcelle Proofs of partial correctness for iterative and recursive computations. [Citation Graph (0, 0)][DBLP] Logic Colloquium, 1985, pp:89-110 [Conf]
Bruno Courcelle, Jean Vuillemin Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. [Citation Graph (0, 0)][DBLP] Symposium on Programming, 1974, pp:234-252 [Conf]
Bruno Courcelle Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas. [Citation Graph (0, 0)][DBLP] RTA, 1999, pp:90-91 [Conf]
Bruno Courcelle An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. [Citation Graph (0, 0)][DBLP] STACS, 1988, pp:237-247 [Conf]
Bruno Courcelle The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs. [Citation Graph (0, 0)][DBLP] TAGT, 1994, pp:487-501 [Conf]
Bruno Courcelle The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1990, v:49, n:3, pp:193-255 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs VIII: Orientations. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:72, n:2, pp:103-143 [Journal]
Bruno Courcelle The Monadic Second order Logic of Graphs VI: on Several Representations of Graphs By Relational Structures [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 1994, v:54, n:2-3, pp:117-149 [Journal]
Bruno Courcelle The Monadic Second-order Logic of Graphs VI: On Several Representations of Graphs by Relational Structures. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 1995, v:63, n:2, pp:199-200 [Journal]
Bruno Courcelle Graphs and Monadic Second-Order Logic: Some Open Problems. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1993, v:49, n:, pp:110-124 [Journal]
Bruno Courcelle A Monadic Second-Order Definition of the Structure of Convex Hypergraphs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:178, n:2, pp:391-411 [Journal]
Bruno Courcelle Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:116, n:2, pp:275-293 [Journal]
Bruno Courcelle The Simultaneous Accessibility of Two Configurations of Two Equivalent DPDA's. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1981, v:12, n:3, pp:111-114 [Journal]
Bruno Courcelle The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues. [Citation Graph (0, 0)][DBLP] ITA, 1992, v:26, n:, pp:257-286 [Journal]
Bruno Courcelle The monadic second-order logic of graphs XV: On a conjecture by D. Seese. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:1, pp:79-114 [Journal]
Bruno Courcelle The monadic second-order logic of graphs XVI : Canonical graph decompositions. [Citation Graph (0, 0)][DBLP] Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
Bruno Courcelle Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1994, v:4, n:1, pp:1-32 [Journal]
Bruno Courcelle, Jens Lagergren Equivalent Definitions of Recognizability for Sets of Graphs of Bounded Tree-Width. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:2, pp:141-165 [Journal]
Bruno Courcelle, Johann A. Makowsky Fusion in Relational Structures and the Verification of Monadic Second-Order Properties. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2002, v:12, n:2, pp:203-235 [Journal]
Bruno Courcelle Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:131-180 [Journal]
Bruno Courcelle An Axiomatic Approach to the Korenjak-Hopcroft Algorithms. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1983, v:16, n:3, pp:191-231 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded Width. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1989, v:21, n:4, pp:187-221 [Journal]
Bruno Courcelle, Joost Engelfriet A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1995, v:28, n:6, pp:515-552 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs V: On Closing the Gap Between Definability and Recognizability. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:80, n:2, pp:153-202 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs VII: Graphs as Relational Structures. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:101, n:1, pp:3-33 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs IX: Machines and their Behaviours. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:151, n:1, pp:125-162 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs X: Linear Orderings. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:160, n:1&2, pp:87-143 [Journal]
Bruno Courcelle Basic Notions of Universal Algebra for Language Theory and Graph Grammars. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:163, n:1&2, pp:1-54 [Journal]
Bruno Courcelle The Monadic Second-Order Logic of Graphs XI: Hierarchical Decompositions of Connected Graphs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:224, n:1-2, pp:35-58 [Journal]
Bruno Courcelle The monadic second-order logic of graphs XII: planar graphs and planar maps. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:237, n:1-2, pp:1-32 [Journal]
Bruno Courcelle The monadic second-order logic of graphs XIII: Graph drawings with edge crossings. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:63-94 [Journal]
Bruno Courcelle The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:1, n:299, pp:1-36 [Journal]
Bruno Courcelle Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1986, v:42, n:, pp:1-122 [Journal]