Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

Find Full text
Thumbnail
Fulltext:
132833.pdf
Size:
74.88Kb
Format:
PDF
Description:
Author’s version postprint
Download
Publication year
2014
Author(s)
Joosten, S.
Kaliszyk, C.
Urban, J.
Publisher
S.l. : EPTCS
Series
Electronic Proceedings in Theoretical Computer Science ; 152
In
Verbeek, F. (ed.), ACL2 2014 : Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014, pp. 77-85
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/132833   https://hdl.handle.net/2066/132833
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.