Yuri Gurevich, Saharon Shelah,
"Spectra of Monadic Second-Order Formulas with One Unary Function,"
Logic in Computer Science, Symposium on, pp. 291, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003.
BibTex
x
@article{
10.1109/LICS.2003.1210069, author = {Yuri Gurevich and Saharon Shelah}, title = {Spectra of Monadic Second-Order Formulas with One Unary Function}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2003}, issn = {1043-6871}, pages = {291}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210069}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Logic in Computer Science, Symposium on TI - Spectra of Monadic Second-Order Formulas with One Unary Function SN - 1043-6871 SP EP A1 - Yuri Gurevich, A1 - Saharon Shelah, PY - 2003 KW - null VL - 0 JA - Logic in Computer Science, Symposium on ER -
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 function symbol and that symbol is unary.
Citation:
Yuri Gurevich, Saharon Shelah, "Spectra of Monadic Second-Order Formulas with One Unary Function," lics, pp.291, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb