PRocH: Proof Reconstruction for HOL Light

Thumbnail
Fulltext:
117148.pdf
Embargo:
until further notice
Size:
229.3Kb
Format:
PDF
Description:
Author’s version preprint
Publication year
2013
Author(s)
Kaliszyk, C.
Urban, J.
Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 7898
ISBN
9783642385735
In
Bonacina, M. (ed.), Automated Deduction – CADE-24, pp. 267-274
DOI
Publication type
Part of book or chapter of book
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/117148   https://hdl.handle.net/2066/117148
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.