KIT | KIT-Bibliothek | Impressum | Datenschutz

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Ullrich, Sebastian; Moura, Leonardo de

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1007/978-3-030-51054-1_10
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-51054-1
ISSN: 0302-9743
KITopen-ID: 1000123641
Erschienen in Automated Reasoning – 10th International Joint Conference [on Automated Reasoning], IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. Ed.: N. Peltier
Veranstaltung 10th Joint Conference on Automated Reasoning (IJCAR 2020), Paris, Frankreich, 01.07.2020 – 04.07.2020
Verlag Springer International Publishing, Cham
Seiten 167–182
Serie Lecture Notes in Computer Science ; 12167
Vorab online veröffentlicht am 24.06.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page