loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
Spectra of Monadic Second-Order Formulas with One Unary Function
Ottawa, Canada
June 22-June 25
ISBN: 0-7695-1884-2
ASCII Text
x 
 
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 -
 
Yuri Gurevich, Microsoft Research
Saharon Shelah, Hebrew University
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
Usage of this product signifies your acceptance of the Terms of Use.