Graph Operations and Monadic Second-Order Logic: A Survey

摘要

We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.