( en | de | ru )

 

Disambiguation of "Boyer, Robert S."

Author of the publication

copydeleteadd this publication to your clipboard
Functional Instantiation in First-Order Logic.

, , , and . Artificial and Mathematical Theory of Computation, page 7-26. Academic Press / Elsevier, (1991)

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)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)Primitive Recursive Program Transformations., , and . POPL, page 171-174. ACM Press, (1976)Functional Instantiation in First-Order Logic., , , and . Artificial and Mathematical Theory of Computation, page 7-26. Academic Press / Elsevier, (1991)MJRTY: A Fast Majority Vote Algorithm., and . Automated Reasoning: Essays in Honor of Woody Bledsoe, page 105-118. Kluwer Academic Publishers, (1991)Function memoization and unique object representation for ACL2 functions., and . ACL2, page 81-89. ACM, (2006)Proving Theorems about LISP Functions, and . Journal of the ACM, 22 (1): 129--144 (1975)A Biographical Sketch of W. W. Bledsoe., and . Automated Reasoning: Essays in Honor of Woody Bledsoe, page 1-30. Kluwer Academic Publishers, (1991)A computational logic handbook., and . Perspectives in computing Academic Press, (1979)A Lemma Driven Automatic Theorem Prover for Recursive Function Theory., and . IJCAI, page 511-519. William Kaufmann, (1977)