Voir la notice de l'article provenant de la source Numdam
We give several new applications of the wreath product of forest algebras to the study of logics on trees. These include new simplified proofs of necessary conditions for definability in CTL and first-order logic with the ancestor relation; a sequence of identities satisfied by all forest languages definable in PDL; and new examples of languages outside CTL, along with an application to the question of what properties are definable in both CTL and LTL.
@article{ITA_2013__47_3_261_0,
author = {Straubing, Howard},
title = {New applications of the wreath product of forest algebras},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {261--291},
publisher = {EDP-Sciences},
volume = {47},
number = {3},
year = {2013},
doi = {10.1051/ita/2013039},
mrnumber = {3103128},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2013039/}
}
TY - JOUR AU - Straubing, Howard TI - New applications of the wreath product of forest algebras JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2013 SP - 261 EP - 291 VL - 47 IS - 3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita/2013039/ DO - 10.1051/ita/2013039 LA - en ID - ITA_2013__47_3_261_0 ER -
%0 Journal Article %A Straubing, Howard %T New applications of the wreath product of forest algebras %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2013 %P 261-291 %V 47 %N 3 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita/2013039/ %R 10.1051/ita/2013039 %G en %F ITA_2013__47_3_261_0
Straubing, Howard. New applications of the wreath product of forest algebras. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013) no. 3, pp. 261-291. doi: 10.1051/ita/2013039
Cité par Sources :