KIT | KIT-Bibliothek | Impressum | Datenschutz

Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable

Lochbihler, A.



Originalveröffentlichung
DOI: 10.1007/978-3-642-39634-2_11
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-642-39633-5
ISSN: 0302-9743
KITopen-ID: 1000038445
Erschienen in Interactive Theorem Proving - 4th International Conference (ITP'13), Rennes, France, July 22-26, 2013 - Proceedings. Ed.: S. Blazy
Verlag Springer, Berlin
Seiten 116-132
Serie Lecture Notes in Computer Science ; 7998
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page