Sciweavers

CSL
2008
Springer

Model Transformations in Decidability Proofs for Monadic Theories

13 years 5 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)