( en | de | ru )

 

Disambiguation of "Boyer, Robert S."

Author of the publication

copydeleteadd this publication to your clipboard
Function memoization and unique object representation for ACL2 functions.

, and . ACL2, page 81-89. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Edmond Boyer

Robert S Rosen

Robert S Garnett

Robert S. MacLeod

Wilhelm Boyer

 

Other publications of authors with the same name

Computer Proofs of Limit Theorems., , and . IJCAI, page 586-600. William Kaufmann, (1971)Woody Bledsoe - His Life and Legacy., , and . AI Magazine, 17 (1): 7-20 (1996)Efficient Implementation of Lattice Operations., , , and . ACM Trans. Program. Lang. Syst., 11 (1): 115-146 (1989)A second generation verification environment., , and . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 48 (1985)Abstracts in software engineering - reports., , , , and . ACM SIGSOFT Softw. Eng. Notes, 11 (5): 92-94 (1986)A Mechanical Proof of the Unsolvability of the Halting Problem., and . J. ACM, 31 (3): 441-458 (1984)Set Theory in First-Order Logic: Clauses for Gödel's Axioms., , , , , and . J. Autom. Reason., 2 (3): 287-327 (1986)In memoriam: Edsger W. Dijkstra 1930-2002., , , , , , and . Commun. ACM, 45 (10): 21-22 (2002)Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?. CADE, volume 814 of Lecture Notes in Computer Science, page 237. Springer, (1994)Program verification prize., and . ACM SIGSOFT Softw. Eng. Notes, 8 (3): 64 (1983)