Author:
Kaufmann Matt,Moore J Strother
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Boyer, R.S., Moore, J S.: Proving theorems about pure lisp functions. JACM 22(1), 129–144 (1975)
2. Boyer, R.S., Moore, J S.: A Computational Logic. Academic Press, NY (1979)
3. Boyer, R.S., Moore, J S.: A Computational Logic Handbook. Academic Press, London (1997)
4. Boyer, R.S., Hunt Jr., W.A.: Function memoization and unique object representation for ACL2 functions. In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications, pp. 81–89. ACM, New York (2006)
5. Boyer, R.S., Goldschlag, D.M., Kaufmann, M., Moore, J S.: Functional instantiation in first-order logic. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 7–26. Academic Press, London (1991)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献