LIPIcs.ITP.2022.0.pdf
- Filesize: 456 kB
- 10 pages
Document
Front Matter, Table of Contents, Preface, Conference Organization
Authors
Leonardo de Moura 
-
Part of:
Volume:
13th International Conference on Interactive Theorem Proving (ITP 2022)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Interactive Theorem Proving (ITP) - License:
Creative Commons Attribution 4.0 International license
- Publication date: 2022-08-03
File
Document Identifiers
Author Details
Cite AsGet BibTex
June Andronick and Leonardo de Moura. Front Matter, Table of Contents, Preface, Conference Organization. In 13th International Conference on Interactive Theorem Proving (ITP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 237, pp. 0:i-0:x, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.ITP.2022.0
https://doi.org/10.4230/LIPIcs.ITP.2022.0
Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Subject Classification
ACM Subject Classification
- Theory of computation → Interactive proof systems
- Theory of computation → Higher order logic
- Software and its engineering → Formal methods
- Theory of computation → Program reasoning
- Computing methodologies → Theorem proving algorithms
Keywords
- Front Matter
- Table of Contents
- Preface
- Conference Organization
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads