New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
From MaRDI portal
Publication:3586053
DOI10.1007/978-3-642-15205-4_29zbMath1287.68109OpenAlexW1482190611MaRDI QIDQ3586053
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: http://publications.rwth-aachen.de/record/119907
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (7)
Recursion Schemes and the WMSO+U Logic ⋮ Courcelle's theorem -- a game-theoretic approach ⋮ Nested antichains for WS1S ⋮ Lazy Automata Techniques for WS1S ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Unnamed Item ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
This page was built for publication: New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
