LIPIcs, Volume 141, ITP'19, Complete Volume

Harrison, John; O'Leary, John; Tolmach, Andrew

doi:10.4230/LIPIcs.ITP.2019

Document

LIPIcs, Volume 141, ITP'19, Complete Volume

Authors John Harrison, John O'Leary, Andrew Tolmach

Part of: Volume: 10th International Conference on Interactive Theorem Proving (ITP 2019)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Interactive Theorem Proving (ITP)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2019-09-17

PDF

File

LIPIcs.ITP.2019.pdf

Filesize: 15.84 MB
608 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ITP.2019
URN: urn:nbn:de:0030-drops-112972

Author Details

John Harrison

Amazon AWS, Portland, OR, USA

John O'Leary

Intel Corporation

Andrew Tolmach

Portland State University, Portland, OR, USA

Cite AsGet BibTex

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

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)

0

PDF Downloads

0

Metadata Views

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