Document Open Access Logo

LIPIcs, Volume 62, CSL'16, Complete Volume

Authors Jean-Marc Talbot, Laurent Regnier



PDF
Thumbnail PDF

File

LIPIcs.CSL.2016.pdf
  • Filesize: 22.37 MB
  • 680 pages

Document Identifiers

Author Details

Jean-Marc Talbot
Laurent Regnier

Cite AsGet BibTex

25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.CSL.2016

Abstract

LIPIcs, Volume 62, CSL'16, Complete Volume
Keywords
  • Conference Proceedings, Distributed Systems, Software/ Programs Verifications, Formal Definitions and Theory, Languages Constructs and Features, Knowledge Representations Formalisms and Methods, Theory of Computation, Mathematical Logic

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