The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs

Bruno Courcelle. The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs. Inf. Comput., 85(1):12-75, March 1990.

Abstract

Abstract is missing.