LIPIcs, Volume 342, CALCO 2025, Complete Volume

Cîrstea, Corina; Knapp, Alexander

doi:10.4230/LIPIcs.CALCO.2025

Document

LIPIcs, Volume 342, CALCO 2025, Complete Volume

Authors Corina Cîrstea , Alexander Knapp

Part of: Volume: 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: Conference on Algebra and Coalgebra in Computer Science (CALCO)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-07-28

PDF

File

PDF

LIPIcs.CALCO.2025.pdf

Filesize: 10.77 MB
292 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CALCO.2025
URN: urn:nbn:de:0030-drops-241021

Subject Classification

ACM Subject Classification

Theory of computation → Models of computation
Theory of computation → Modal and temporal logics
Theory of computation → Categorical semantics
Theory of computation → Algebraic semantics

Keywords

LIPIcs, Volume 342, CALCO 2025, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 342, CALCO 2025, Complete Volume

Cite As Get BibTex

11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 342, pp. 1-292, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.CALCO.2025

Author Details

Corina Cîrstea

University of Southampton, UK

Alexander Knapp

University of Augsburg, Germany

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail