Document Open Access Logo

LIPIcs, Volume 193, ITP 2021, Complete Volume

Authors Liron Cohen , Cezary Kaliszyk



PDF
Thumbnail PDF

File

LIPIcs.ITP.2021.pdf
  • Filesize: 12.44 MB
  • 560 pages

Document Identifiers

Author Details

Liron Cohen
  • Ben-Gurion University, Be'er Sheva, Israel
Cezary Kaliszyk
  • University of Innsbruck, Austria

Cite AsGet BibTex

12th International Conference on Interactive Theorem Proving (ITP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 193, pp. 1-560, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.ITP.2021

Abstract

LIPIcs, Volume 193, ITP 2021, Complete Volume

Subject Classification

ACM Subject Classification
  • Theory of computation → Logic
Keywords
  • LIPIcs, Volume 193, ITP 2021, Complete Volume

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