Proving Theorems about LISP Functions
Authors:

Robert S. Boyer

Computer Science Group, Stanford Research Institute, Menlo Park, CA and University of Edinburgh, Edinburgh, Scotland


J. Strother Moore

Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CA and University of Edinburgh, Edinburgh, Scotland

Published in: 
· Journal 
Journal of the ACM (JACM) JACM Homepage
archive

Volume 22 Issue 1, Jan. 1975
Pages 129144
ACM New York, NY, USA
table of contents
doi>10.1145/321864.321875




1975 Article

Bibliometrics

· Citation Count: 97
· Downloads (cumulative): 607
· Downloads (12 Months): 17
· Downloads (6 Weeks): 1


powered by

