Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Modular Formalization of Superposition in Isabelle/HOL

Desharnais, M., Toth, B., Waldmann, U., Blanchette, J., & Tourret, S. (2024). A Modular Formalization of Superposition in Isabelle/HOL. In Y. Bertot, T. Kutsia, & M. Norrish (Eds.), 15th International Conference on Interactive Theorem Proving (pp. 1-20). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ITP.2024.12.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0010-3E7C-F Versions-Permalink: https://hdl.handle.net/21.11116/0000-0010-3E7D-E

Genre: Konferenzbeitrag

Latex : A Modular Formalization of Superposition in {Isabelle}/{HOL}

Dateien

einblenden: Dateien

ausblenden: Dateien

:

LIPIcs.ITP.2024.12.pdf (Verlagsversion), 810KB

Öffnen Speichern

Open Access Gold

Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0010-3E7E-D

Name:
LIPIcs.ITP.2024.12.pdf

Beschreibung:
-

OA-Status:
Gold

Sichtbarkeit:
Öffentlich

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

Technische Metadaten:

Copyright Datum:
-

Copyright Info:
-

Lizenz:
urn:nbn:de:0030-drops-207401

Externe Referenzen

Urheber

ausblenden:

Urheber:
Desharnais, Martin¹, Autor
Toth, Balazs², Autor
Waldmann, Uwe¹, Autor
Blanchette, Jasmin¹, Autor
Tourret, Sophie¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2External Organizations, ou_persistent22

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2024-09-02Erschienen: 2024

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: DOI: 10.4230/LIPIcs.ITP.2024.12
BibTex Citekey: Desharnais24
URN: urn:nbn:de:0030-drops-207401

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: 15th International Conference on Interactive Theorem Proving

Veranstaltungsort: Tbilisi, Georgia

Start-/Enddatum: 2024-09-09 - 2024-09-14

Entscheidung

Projektinformation

einblenden: ausblenden:

Projektname : Matryoshka

Grant ID : 713999

Förderprogramm : Horizon 2020 (H2020)

Förderorganisation : European Commission (EC)

Quelle 1

ausblenden:

Titel: 15th International Conference on Interactive Theorem Proving

Kurztitel : ITP 2024

Untertitel : ITP 2024, September 9–14, 2024, Tbilisi, Georgia

Genre der Quelle: Konferenzband

Urheber:
Bertot, Yves¹, Herausgeber
Kutsia, Temur¹, Herausgeber
Norrish, Michael¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl

Seiten: - Band / Heft: - Artikelnummer: 12 Start- / Endseite: 1 - 20 Identifikator: ISBN: 978-3-95977-337-9

Quelle 2

ausblenden:

Titel: Leibniz International Proceedings in Informatics

Kurztitel : LIPIcs

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 309 Artikelnummer: - Start- / Endseite: - Identifikator: -