2 search results - page 1 / 1 » Spectra of Monadic Second-Order Formulas with One Unary Func... |
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i) all relation symbols, except equality, are unary, and (ii) there is only one fu...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...