The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
RAIRO-Theor. Inf. Appl., 26 3 (1992) 257-286
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
A logical characterization of the sets of hypergraphs defined by Hyperedge Replacement grammars
B. Courcelle and J. EngelfrietMathematical Systems Theory 28 (6) 515 (1995)
https://doi.org/10.1007/BF01204169
The monadic second-order logic of graphs VIII: Orientations
Bruno CourcelleAnnals of Pure and Applied Logic 72 (2) 103 (1995)
https://doi.org/10.1016/0168-0072(95)94698-V
Monadic second-order definable graph transductions: a survey
Bruno CourcelleTheoretical Computer Science 126 (1) 53 (1994)
https://doi.org/10.1016/0304-3975(94)90268-2
The monadic second order logic of graphs VI: on several representations of graphs by relational structures
Bruno CourcelleDiscrete Applied Mathematics 54 (2-3) 117 (1994)
https://doi.org/10.1016/0166-218X(94)90019-1
References
Discrete Applied Mathematics 54 (2-3) 281 (1994)https://doi.org/10.1016/0166-218X(94)90028-0
Graph Transformations in Computer Science
Bruno Courcelle and Jens LagergrenLecture Notes in Computer Science, Graph Transformations in Computer Science 776 138 (1994)
https://doi.org/10.1007/3-540-57787-4_9
179 (1993)
https://doi.org/10.1109/LICS.1993.287589
An algebraic theory of graph reduction
Stefan Arnborg, Bruno Courcelle, Andrzej Proskurowski and Detlef SeeseJournal of the ACM 40 (5) 1134 (1993)
https://doi.org/10.1145/174147.169807
Handle-rewriting hypergraph grammars
Bruno Courcelle, Joost Engelfriet and Grzegorz RozenbergJournal of Computer and System Sciences 46 (2) 218 (1993)
https://doi.org/10.1016/0022-0000(93)90004-G
CAAP '92
Bruno CourcelleLecture Notes in Computer Science, CAAP '92 581 124 (1992)
https://doi.org/10.1007/3-540-55251-0_7