TY - JOUR
T1 - Star free expressions over the reals
AU - Rabinovich, Alexander
PY - 2000/2/28
Y1 - 2000/2/28
N2 - An interpretation of star free expressions over the reals is provided. The expressive power of star free expressions is compared to the expressive power of monadic first-order logic of order over the reals. It is proved that these formalisms have the same expressive power. This result provides a generalization of the classical McNaughton-Papert theorem (1971) from the finite orders to the order of the reals.
AB - An interpretation of star free expressions over the reals is provided. The expressive power of star free expressions is compared to the expressive power of monadic first-order logic of order over the reals. It is proved that these formalisms have the same expressive power. This result provides a generalization of the classical McNaughton-Papert theorem (1971) from the finite orders to the order of the reals.
KW - Expressive completeness
KW - Star-free-expressions
UR - http://www.scopus.com/inward/record.url?scp=0347998616&partnerID=8YFLogxK
U2 - 10.1016/S0304-3975(98)00050-4
DO - 10.1016/S0304-3975(98)00050-4
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0347998616
SN - 0304-3975
VL - 233
SP - 233
EP - 245
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 1-2
ER -