LIPIcs.CALCO.2023.pdf
- Filesize: 7.28 MB
- 336 pages
Document
LIPIcs, Volume 270, CALCO 2023, Complete Volume
Authors
Paolo Baldan 
,
Valeria de Paiva
-
Part of:
Volume:
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Conference on Algebra and Coalgebra in Computer Science (CALCO) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-09-02
File
Document Identifiers
Author Details
Cite AsGet BibTex
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 1-336, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.CALCO.2023
https://doi.org/10.4230/LIPIcs.CALCO.2023
Abstract
LIPIcs, Volume 270, CALCO 2023, Complete Volume
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
- Theory of computation → Quantum computation theory
- Software and its engineering → Context specific languages
Keywords
- LIPIcs, Volume 270, CALCO 2023, Complete Volume
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads