Document Open Access Logo

LIPIcs, Volume 139, CALCO'19, Complete Volume

Authors Markus Roggenbach, Ana Sokolova



PDF
Thumbnail PDF

File

LIPIcs.CALCO.2019.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)
https://doi.org/10.4230/LIPIcs.CALCO.2019

Abstract

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
Keywords
  • Theory of computation, Models of computation; Modal and temporal logics; Algebraic semantics; Categorical semantics, Quantum computation theory; Software and its engineering, Specification languages

Metrics

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

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail