Document Open Access Logo

LIPIcs, Volume 139, CALCO'19, Complete Volume

Authors Markus Roggenbach, Ana Sokolova

Thumbnail PDF


  • Filesize: 17.12 MB
  • 334 pages

Document Identifiers

Author Details

Markus Roggenbach
  • Swansea University, UK
Ana Sokolova
  • University of Salzburg, Austria

Cite AsGet BibTex

Markus Roggenbach and Ana Sokolova. LIPIcs, Volume 139, CALCO'19, Complete Volume. In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)


LIPIcs, Volume 139, CALCO'19, 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 → Specification languages
  • Theory of computation, Models of computation; Modal and temporal logics; Algebraic semantics; Categorical semantics, Quantum computation theory; Software and its engineering, Specification languages


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail