Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.
Buch, Englisch, 147 Seiten, Format (B × H): 155 mm x 235 mm
18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11–12, 2026, Proceedings
Buch, Englisch, 147 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-40443-5
Verlag: Springer
This book constitutes the proceedings of the 18th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2025, Turin, Italy, during April 11–12, 2026.
The 7 full papers included in this book were carefully reviewed and selected from 10 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
Weitere Infos & Material
.- On the Axioms of Arboreal Categories.
.- Coalgebraic Path Constraints.
.- A Framework for Coalgebraic Reward-Sensitive Bisimulation.
.- Coalgebraic Semantics for Fischer Servi Intuitionistic Modal Logic.
.- Learning Automata with Name Allocation.
.- Coalgebraic Semantics for Two-agent ATL and its Meta-level Model-checking Complexity.
.- The Only Distributive Law Over the Powerset Monad Is the One You Know.
