Graph grammars, monadic second-order logic and the theory of graph minors

Bruno Courcelle. Graph grammars, monadic second-order logic and the theory of graph minors. In Neil Robertson, Paul D. Seymour, editors, Graph Structure Theory, Proceedings of a AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors held June 22 to July 5, 1991, at the University of Washington, Seattle. Volume 147 of Contemporary Mathematics, pages 565-590, American Mathematical Society, 1991.

Abstract

Abstract is missing.