An interactive enhancement to the Boyer-Moore theorem prover

  • Matt Kaufmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. [1]
    Robert S. Boyer and J Strother Moore. The User's Manual for A Computational Logic. Technical Report 18, Computational Logic, Inc., Austin, Texas, February, 1988.Google Scholar
  2. [2]
    Robert S. Boyer and J. Strother Moore. A Computational Logic. Academic Press, New York, 1979.Google Scholar
  3. [3]
    M. J. Gordon, A. J. Milner, and C. P. Wadsworth. Edinburgh LCF. Springer-Verlag, New York, 1979.Google Scholar
  4. [4]
    Matt Kaufmann. A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover.Google Scholar
  5. [4]
    . Technical Report 60, Institute for Computing Science, University of Texas at Austin, Austin, Texas, August, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Matt Kaufmann
    • 1
  1. 1.Computational Logic, Inc.Austin

Personalised recommendations