Certified Connection Tableaux Proofs for HOL Light and TPTP

Find Full text
Thumbnail
Fulltext:
139732.pdf
Size:
120.4Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2015
Author(s)
Kaliszyk, C.
Urban, J.
Vyskocil, J.
Publisher
New York : ACM
ISBN
9781450332965
In
Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs, pp. 59-66
DOI
Annotation
CPP'15 : 2015 Conference on Certified Programs and Proofs as part of POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Tata Institute of Fundamental Research, Mumbai,
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/139732   https://hdl.handle.net/2066/139732
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.