J Strother Moore
Robert S. Boyer and J Strother Moore.
Proving theorems about LISP functions.
Journal of the ACM
, 22(1):129-144, January 1975.
Additional information.
Robert S. Boyer and J Strother Moore.
A mechanical proof of the unsolvability of the halting problem.
Journal of the ACM
, 31(3):441-458, July 1984.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database