| BLUMENSATH, Achim a Jakub LÉDL. ω-Forest Algebras and Temporal Logics. Online. In Filippo Bonchi, Simon J. Puglisi. 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, s. 1-21. ISBN 978-3-95977-201-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1834758,
author = {Blumensath, Achim and Lédl, Jakub},
address = {Dagstuhl, Germany},
booktitle = {46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia},
doi = {http://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19},
editor = {Filippo Bonchi, Simon J. Puglisi},
keywords = {forest algebras; wreath products; temporal logics},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Dagstuhl, Germany},
isbn = {978-3-95977-201-3},
pages = {1-21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {ω-Forest Algebras and Temporal Logics},
url = {https://drops.dagstuhl.de/opus/volltexte/2021/14459/},
year = {2021}
}
TY - JOUR
ID - 1834758
AU - Blumensath, Achim - Lédl, Jakub
PY - 2021
TI - ω-Forest Algebras and Temporal Logics
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
CY - Dagstuhl, Germany
SN - 9783959772013
KW - forest algebras
KW - wreath products
KW - temporal logics
UR - https://drops.dagstuhl.de/opus/volltexte/2021/14459/
N2 - We use the algebraic framework for languages of infinite trees introduced in [A. Blumensath, 2020] to derive effective characterisations of various temporal logics, in particular the logic EF (a fragment of CTL) and its counting variant cEF.
ER -
BLUMENSATH, Achim a Jakub LÉDL. ω-Forest Algebras and Temporal Logics. Online. In Filippo Bonchi, Simon J. Puglisi. \textit{46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia}. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, s.~1-21. ISBN~978-3-95977-201-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19.
|
