Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings
From MaRDI portal
Publication:2248021
DOI10.1007/978-3-319-08970-6zbMath1294.68020OpenAlexW289357661MaRDI QIDQ2248021
No author found.
Publication date: 30 June 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
On definitions of constants and types in HOL, Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation, Proof-Producing Reflection for HOL
Uses Software