The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs

Bruno Courcelle. The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs. In Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg, editors, Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers. Volume 1073 of Lecture Notes in Computer Science, pages 487-501, Springer, 1994.

Abstract

Abstract is missing.