A Modular Isabelle Framework for Verifying Saturation Provers

Tourret, Sophie; Blanchette, Jasmin

doi:10.1145/3437992.3439912

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Modular Isabelle Framework for Verifying Saturation Provers

Tourret, S., & Blanchette, J. (2021). A Modular Isabelle Framework for Verifying Saturation Provers. In C. Hriţcu, & A. Popescu (Eds.), CPP '21 (pp. 224-237). New York, NY: ACM. doi:10.1145/3437992.3439912.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0008-0A0F-E Versions-Permalink: https://hdl.handle.net/21.11116/0000-000D-0B11-4

Genre: Konferenzbeitrag

Latex : A modular {I}sabelle framework for verifying saturation provers

Dateien

einblenden: Dateien

ausblenden: Dateien

:

3437992.3439912.pdf (Verlagsversion), 779KB

Öffnen Speichern

Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0009-4ACA-1

Name:
3437992.3439912.pdf

Beschreibung:
-

OA-Status:
Keine Angabe

Sichtbarkeit:
Öffentlich

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

Technische Metadaten:

Öffnen

Copyright Datum:
-

Copyright Info:
CPP ’21, January 18–19, 2021, Virtual, Denmark © 2021 Copyright held by the owner/author(s). ACM ISBN 978-1-4503-8299-1/21/01. https://doi.org/10.1145/3437992.3439912 This work is licensed under a Creative Commons Attribution International 4.0 license.

Lizenz:
-