Monadic Second Order Finite Satisfiability and Unbounded Tree-Width

DOI10.4230/LIPIcs.CSL.2016.13zbMath1370.03020arXiv1505.06622OpenAlexW2963070736MaRDI QIDQ5278399

Helmut Veith, Florian Zuleger, Tomer Kotek

Publication date: 19 July 2017

Full work available at URL: https://arxiv.org/abs/1505.06622

zbMATH Keywords

finite decidabilitymonadic second-order logic MSOtwo-variable fragment with counting C2unbounded tree-widthWS1S with cardinality constraints

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13)

This page was built for publication: Monadic Second Order Finite Satisfiability and Unbounded Tree-Width