LIPIcs.ITP.2019.pdf
- Filesize: 15.84 MB
- 608 pages
Document
LIPIcs, Volume 141, ITP'19, Complete Volume
Authors
-
Part of:
Volume:
10th International Conference on Interactive Theorem Proving (ITP 2019)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Interactive Theorem Proving (ITP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2019-09-17
Cite AsGet BibTex
John Harrison, John O'Leary, and Andrew Tolmach. LIPIcs, Volume 141, ITP'19, Complete Volume. In 10th International Conference on Interactive Theorem Proving (ITP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.ITP.2019
https://doi.org/10.4230/LIPIcs.ITP.2019
Abstract
LIPIcs, Volume 141, ITP'19, Complete Volume
Subject Classification
ACM Subject Classification
- Theory of computation → Logic
Keywords
- Theory of computation, Logic
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads