Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

Blanchette, J. C., Fleury, M., & Traytel, D. (2017). Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. In D. Miller (Ed.), 2nd International Conference on Formal Structures for Computation and Deduction (pp. 1-18). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSCD.2017.11.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-06EE-1 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-06EF-0

Genre: Konferenzbeitrag

Latex : Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in {Isabelle}/{HOL}

Dateien

einblenden: Dateien

Externe Referenzen

ausblenden:

externe Referenz:
http://drops.dagstuhl.de/opus/volltexte/2017/7715/ (Verlagsversion) Open Access Status unbekannt

Open Access Status unbekannt

Beschreibung:
-

OA-Status:

externe Referenz:
http://drops.dagstuhl.de/doku/urheberrecht1.html (Verlagsvertrag) Open Access Status unbekannt

Open Access Status unbekannt

Beschreibung:
-

OA-Status:

Urheber

ausblenden:

Urheber:
Blanchette, Jasmin Christian¹, Autor
Fleury, Mathias¹, Autor
Traytel, Dmitriy², 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: 2017

Publikationsstatus: Online veröffentlicht

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: BlanchetteFSCD2017
DOI: 10.4230/LIPIcs.FSCD.2017.11
URN: urn:nbn:de:0030-drops-77155

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: 2nd International Conference on Formal Structures for Computation and Deduction

Veranstaltungsort: Oxford, UK

Start-/Enddatum: 2017-09-03 - 2017-09-09

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: 2nd International Conference on Formal Structures for Computation and Deduction

Kurztitel : FSCD 2017

Untertitel : FSCD 2017, September 3–9, 2017, Oxford, UK

Genre der Quelle: Konferenzband

Urheber:
Miller, Dale¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl

Seiten: - Band / Heft: - Artikelnummer: 1 Start- / Endseite: 1 - 18 Identifikator: ISBN: 978-3-95977-047-7

Quelle 2

ausblenden:

Titel: Leibniz International Proceedings in Informatics

Kurztitel : LIPIcs

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 84 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1868-8969