Sciweavers

CSL
2008
Springer

Model Transformations in Decidability Proofs for Monadic Theories

14 years 10 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (given for example by the restriction to formulas of a certain quantifier rank) and
Wolfgang Thomas
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where CSL
Authors Wolfgang Thomas
Comments (0)