Robert S. Boyer
Affiliations: University of Texas at Austin, USA
According to our database^{1},
Robert S. Boyer
authored at least 32 papers
between 1972 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on id.loc.gov

on dnb.info
On csauthors.net:
Bibliography
2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
2005
J. Autom. Reason., 2005
A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.
Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005
2002
Commun. ACM, 2002
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
1998
A computational logic handbook, Second Edition.
Academic Press international series in formal methods, Academic Press, ISBN: 9780121229559, 1998
1996
J. ACM, 1996
AI Mag., 1996
1994
Panel Discussion: A Mechanically ProofChecked Encyclopedia of Mathematics: Should We Build One? Can We?
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1992
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.
Proceedings of the Automated Deduction, 1992
1991
MJRTY: A Fast Majority Vote Algorithm.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991
Proceedings of the Artificial and Mathematical Theory of Computation, 1991
A Biographical Sketch of W. W. Bledsoe.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
ACM Trans. Program. Lang. Syst., 1989
1988
The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.
J. Autom. Reason., 1988
1986
ACM SIGSOFT Softw. Eng. Notes, 1986
J. Autom. Reason., 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
ACM SIGSOFT Softw. Eng. Notes, 1985
ACM SIGSOFT Softw. Eng. Notes, 1985
Program Verification.
J. Autom. Reason., 1985
1984
J. ACM, 1984
1983
ACM SIGSOFT Softw. Eng. Notes, 1983
1980
A computational logic.
ACM monograph series, Academic Press, ISBN: 9780121229504, 1980
1979
A computational logic handbook.
Perspectives in computing 23, Academic Press, ISBN: 9780121229528, 1979
1977
Commun. ACM, 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
1976
Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976
1975
J. ACM, 1975
SELECT  a formal system for testing and debugging programs by symbolic execution.
Proceedings of the International Conference on Reliable Software 1975, 1975
1972
Artif. Intell., 1972