Isabelle: The next seven hundred theorem provers

  • Lawrence C Paulson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. [1]
    L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge University Press, 1987).Google Scholar
  2. [2]
    L. C. Paulson, Natural deduction as higher-order resolution, Journal of Logic Programming 3 (1986), pages 237–258.CrossRefGoogle Scholar
  3. [3]
    L. C. Paulson, Higher-order logic as the basis of generic theorem provers, Report, Computer Lab., University of Cambridge (1988).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Lawrence C Paulson
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeEngland

Personalised recommendations