Handle-rewriting hypergraph grammars

The monadic second-order logic of graphs. I. Recognizable sets of finite graphs

Bruno Courcelle · Information and Computation · 1990 · 1.5K citations

Natural Sciences, Computer Science, Mathematics +10

Complement reducible graphs

Derek G. Corneil, H. Lerchs, L.Stewart Burlingham · Discrete Applied Mathematics · 1981 · 837 citations

Graph expressions and graph rewritings

Michel Bauderon, Bruno Courcelle · Theory of Computing Systems · 1987 · 238 citations

Computing, Computer Science, Formal Methods +11

Algebraic automata and context-free sets

J. E. Mezei, Jesse B. Wright · Information and Control · 1967 · 219 citations

Computing, Computer Science, Mathematics +10

The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues

B. Courcelle · RAIRO - Theoretical Informatics and Applications · 1992 · 184 citations · Full text

Natural Sciences, Computer Science, Mathematics +13