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.
|