Lassie: HOL4 Tactics by Example

Becker, Heiko; Bos, Nathaniel; Gavran, Ivan; Darulova, Eva; Majumdar, Rupak

doi:10.1145/3437992.3439925

Lokale TagsFreigabegeschichteDetailsÜbersicht

Lassie: HOL4 Tactics by Example

Becker, H., Bos, N., Gavran, I., Darulova, E., & Majumdar, R. (2021). Lassie: HOL4 Tactics by Example. In C. Hriţcu, & A. Popescu (Eds.), CPP '21 (pp. 212-223). New York, NY: ACM. doi:10.1145/3437992.3439925.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0009-0FE4-6 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0009-0FE5-5

Genre: Konferenzbeitrag

Latex : Lassie: {HOL4} Tactics by Example

Dateien

einblenden: Dateien

ausblenden: Dateien

:

3437992.3439925.pdf (Verlagsversion), 700KB

Öffnen Speichern

Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0009-0FE6-4

Name:
3437992.3439925.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Öffentlich

MIME-Typ / Prüfsumme:
application/pdf / [MD5]

Technische Metadaten:

Öffnen

Copyright Datum:
-

Copyright Info:
This work is licensed under a Creative Commons Attribution International 4.0 License. CPP’21,January18–19,2021,Virtual,Denmark©2021Copyrightheldbytheowner/author(s).ACMISBN978-1-4503-8299-1/21/01.https://doi.org/10.1145/3437992.3439925

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Becker, Heiko¹, Autor
Bos, Nathaniel², Autor
Gavran, Ivan³, Autor
Darulova, Eva¹, Autor
Majumdar, Rupak³, Autor

Affiliations:
1Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697
2External Organizations, ou_persistent22
3Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292