Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Robert S.
Last name:	Boyer
DBLP:	b/RobertSBoyer
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 25  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Robert S. Boyer, Warren A. Hunt Jr.. Function memoization and unique object representation for ACL2 functions.	Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006 2006	(0)	2006
	Conference paper Robert S. Boyer, Warren A. Hunt Jr., Serita M. Nelesen. A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.	Algorithms in Bioinformatics, 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings 2005	(0)	2005
	Conference paper Robert S. Boyer, Wilfred J. Legato, Victor W. Marek. Toward Automating the Discovery of Decreasing Measures.	J. Autom. Reasoning 2005, Volume 35	(0)	2005
	Conference paper Robert S. Boyer, J. Strother Moore. Single-Threaded Objects in ACL2.	Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings 2002	(0)	2002
	Conference paper Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards. In memoriam: Edsger W. Dijkstra 1930-2002.	Commun. ACM 2002, Volume 45	(0)	2002
	Conference paper Michael Ballantyne, Robert S. Boyer, Larry M. Hines. Woody Bledsoe - His Life and Legacy.	AI Magazine 1996, Volume 17	(0)	1996
	Conference paper Robert S. Boyer, Yuan Yu. Automated Proofs of Object Code for a Widely Used Microprocessor.	J. ACM 1996, Volume 43	(0)	1996
	Conference paper Robert S. Boyer. Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?	Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings 1994	(0)	1994
	Conference paper Robert S. Boyer, Yuan Yu. Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.	Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings 1992	(0)	1992
	Conference paper Anne Olivia Boyer, Robert S. Boyer. A Biographical Sketch of W. W. Bledsoe.	Automated Reasoning: Essays in Honor of Woody Bledsoe 1991	(0)	1991
	Conference paper Robert S. Boyer, J. Strother Moore. MJRTY: A Fast Majority Vote Algorithm.	Automated Reasoning: Essays in Honor of Woody Bledsoe 1991	(0)	1991
	Conference paper Robert S. Boyer, J. Strother Moore. A Theorem Prover for a Computational Logic.	10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings 1990	(0)	1990
	Conference paper Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr. Efficient Implementation of Lattice Operations.	ACM Trans. Program. Lang. Syst. 1989, Volume 11	(0)	1989
	Conference paper Robert S. Boyer, J. Strother Moore. The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.	J. Autom. Reasoning 1988, Volume 4	(0)	1988
	Conference paper Robert S. Boyer, J. Strother Moore. Overview of a Theorem-Prover for A Computational Logic.	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986	(0)	1986
	Conference paper Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos. Set Theory in First-Order Logic: Clauses for Gödel's Axioms.	J. Autom. Reasoning 1986, Volume 2	(0)	1986
	Conference paper Robert S. Boyer, J. Strother Moore. Program Verification.	J. Autom. Reasoning 1985, Volume 1	(0)	1985
	Conference paper Robert S. Boyer, J. Strother Moore. A Mechanical Proof of the Unsolvability of the Halting Problem.	J. ACM 1984, Volume 31	(0)	1984
	Conference paper Robert S. Boyer, J. Strother Moore. A Lemma Driven Automatic Theorem Prover for Recursive Function Theory.	IJCAI 1977	(0)	1977
	Conference paper Robert S. Boyer, J. Strother Moore. A Fast String Searching Algorithm.	Commun. ACM 1977, Volume 20	(0)	1977
	Conference paper Robert S. Boyer, J. Strother Moore, Robert E. Shostak. Primitive Recursive Program Transformations.	POPL 1976	(0)	1976
	Conference paper Robert S. Boyer, J. Strother Moore. Proving Theorems about LISP Functions.	J. ACM 1975, Volume 22	(0)	1975
	Conference paper Robert S. Boyer, J. Strother Moore. Proving Theorems about LISP Functions.	IJCAI 1973	(0)	1973
	Conference paper W. W. Bledsoe, Robert S. Boyer, William H. Henneman. Computer Proofs of Limit Theorems.	Artif. Intell. 1972, Volume 3	(0)	1972
	Conference paper W. W. Bledsoe, Robert S. Boyer, William H. Henneman. Computer Proofs of Limit Theorems.	IJCAI 1971	(0)	1971

Show item 1 to 25 of 25  

Your query returned 25 matches in the database.