Publication | Closed Access

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

Monadic Second-order LogicGraph TheoryRecognizable SetsEngineeringAutomated ReasoningStructural Graph TheoryAlgebraic Graph TheoryFormal MethodsFirst-order LogicComputer ScienceFinite GraphsDiscrete MathematicsHigher-order LogicComputability Theory