Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant
Collection editors:
Platzer, André; Sutcliffe, Geoff
Title of conference publication:
Automated Deduction – CADE 28
Subtitle of conference publication:
28th International Conference on Automated Deduction Virtual Event, July 12–15, 2021, Proceedings
Series title:
Lecture Notes in Artificial Intelligence
Series volume:
12699
Conference title:
International Conference on Automated Deduction (28., 2021, Virtuell)
Venue:
Virtuell
Year of conference:
2021
Date of conference beginning:
11.07.2021
Date of conference ending:
16.07.2021
Place of publication:
Cham
Publisher:
Springer
Year:
2021
Pages from - to:
450-467
Language:
Englisch
ISBN:
978-3-030-79875-8 ; 978-3-030-79876-5
Department:
Fakultät für Informatik
Institute:
INF 6 - Institut für Systemsicherheit
Chair:
Brunthaler, Stefan
Open Access yes or no?:
Ja / Yes
Type of OA license:
CC BY 4.0
Licence URL:
BibTeX