Proving Theorems about LISP Functions (1975)

View PDF

Download Links

by Robert S. Boyer , J Strother Moore
Citations:53 - 2 self

Document Versions

Proving Theorems about LISP Functions –Robert S. Boyer, J Strother Moore — 1975
Proving theorems about LISP functions –Robert S. Boyer — 1975 — J. ACM