Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant
Herausgeber Sammlung:
Platzer, André; Sutcliffe, Geoff
Titel Konferenzpublikation:
Automated Deduction – CADE 28
Untertitel Konferenzpublikation:
28th International Conference on Automated Deduction Virtual Event, July 12–15, 2021, Proceedings
Reihentitel:
Lecture Notes in Artificial Intelligence
Bandnummer Reihe:
12699
Konferenztitel:
International Conference on Automated Deduction (28., 2021, Virtuell)
Tagungsort:
Virtuell
Jahr der Konferenz:
2021
Datum Beginn der Konferenz:
11.07.2021
Datum Ende der Konferenz:
16.07.2021
Verlagsort:
Cham
Verlag:
Springer
Jahr:
2021
Seiten von - bis:
450-467
Sprache:
Englisch
ISBN:
978-3-030-79875-8 ; 978-3-030-79876-5
URL zum Inhalt:
Fakultät:
Fakultät für Informatik
Institut:
INF 6 - Institut für Systemsicherheit
Professur:
Brunthaler, Stefan
Open Access ja oder nein?:
Ja / Yes
Art der OA-Lizenz:
CC BY 4.0
URL zur Lizenz:
BibTeX