Publication | Closed Access

Monadic second-order logic on tree-like structures

Tree LanguageEngineeringMonadic Second-order LogicAutomated ReasoningFormal MethodsTree AutomatonComputer ScienceHigher-order Logic