LIPIcs.CALCO.2021.pdf
- Filesize: 6.79 MB
- 384 pages
Document
LIPIcs, Volume 211, CALCO 2021, Complete Volume
Authors
Fabio Gadducci 
,
Alexandra Silva
-
Part of:
Volume:
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
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: 2021-11-08
File
Document Identifiers
Author Details
Cite As Get BibTex
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 211, pp. 1-384, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.CALCO.2021
Abstract
LIPIcs, Volume 211, CALCO 2021, Complete Volume
Subject Classification
ACM Subject Classification
- Theory of computation → Models of computation
- Theory of computation → Modal and temporal logics
- Theory of computation → Algebraic semantics
- Theory of computation → Categorical semantics
- Theory of computation → Quantum computation theory
- Software and its engineering → Context specific languages
Keywords
- LIPIcs, Volume 211, CALCO 2021, Complete Volume
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads