Robert S. Boyer

Publications

Boyer has published extensively, including the following books:

A Computational Logic Handbook, with J S. Moore. Second Edition. Academic Press, London, 1998. Automated Reasoning: Essays in Honor of Woody Bledsoe, editor. Kluwer Academic, Dordrecht, The Netherlands, 1991. A Computational Logic Handbook, with J S. Moore. Academic Press, New York, 1988. The Correctness Problem in Computer Science, editor, with J S. Moore. Academic Press, London, 1981. A Computational Logic, with J S. Moore. Academic Press, New York, 1979.