Michael Kohlhase, Florian Rabe, Makarius Wenzel. Making Isabelle Content Accessible in Knowledge Representation Formats. In Marc Bezem, Assia Mahboubi, editors, 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway. Volume 175 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
@inproceedings{KohlhaseRW19,
title = {Making Isabelle Content Accessible in Knowledge Representation Formats},
author = {Michael Kohlhase and Florian Rabe and Makarius Wenzel},
year = {2019},
doi = {10.4230/LIPIcs.TYPES.2019.1},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.1},
researchr = {https://researchr.org/publication/KohlhaseRW19},
cites = {0},
citedby = {0},
booktitle = {25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway},
editor = {Marc Bezem and Assia Mahboubi},
volume = {175},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-158-0},
}