Publication | Closed Access

Monadic second-order definable graph transductions: a survey

Directed GraphEngineeringGraph TheoryAlgebraic Graph TheoryAutomated ReasoningFormal MethodsComputer ScienceComputability Theory