Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference7 articles.
1. Boyer, R., and Moore JA Computational Logic, Academic Press, New York (1979).
2. Boyer, R., and Moore J ?A mechanical proof of the unsolvability of the halting problem?,Journal of the ACM 31 (1984), 441?458.
3. Boyer, R., and Moore J ?Proof checking the RSA public key encryption algorithm?,American Mathematical Monthly 91 (1984), 181?189.
4. Boyer, R., and Moore J ?Proof-checking, theorem-proving, and program verification?, pp. 119?132 inContemporary Mathematics, Vol. 29, Automated Theorem Proving: After 25 Years, (W. Bledsoe and D. Loveland, eds), American Mathematical Society, Providence, R.I. (1984).
5. Tech. report;W. W. McCune,1990