The romulus proof checker

  • Carl Eichenlaub
  • Bruce Esrig
  • James Hook
  • Carl Klapper
  • Garrel Pottinger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

Keywords

Proof Checker Intuitionistic Propositional Logic Modifiable Segment Common Lisp Primitive Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [1]
    Robert L. Constable et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, Englewood Cliffs, New Jersey, 1986.Google Scholar
  2. [2]
    Thierry Coquand and Gérard Huet. Constructions: A higher order proof system for mechanizing mathematics. In EUROCAL85, volume 203 of Lecture Notes in Computer Science, pages 151–184, Berlin, 1986. Springer-Verlag.Google Scholar
  3. [3]
    Carl Eichenlaub and James Hook. Preliminary manual for theory manager interface, July 1988. Odyssey Research Associates, internal report.Google Scholar
  4. [4]
    Timothy G. Griffin. Notational definitions — a formal account. In Proceedings of the Third Symposium on Logic in Computer Science, July 1988.Google Scholar
  5. [5]
    James Hook and Garrel Pottinger. Natural L-systems. Presented to the meeting of the Association for Symbolic Logic held at UCLA in January 1989. An abstract will appear in the Journal of Symbolic Logic., January 1989.Google Scholar
  6. [6]
    James Hook and Garrel Pottinger. Ulysses theories: The modular implementation of mathematics. Technical Report TR 11–14, Odyssey Research Associates, February 1989.Google Scholar
  7. [7]
    Ulysses Staff. Ulysses: a computer-security modeling environment. In Proceedings of the 11th National Computer Security Conference, September 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Carl Eichenlaub
    • 1
  • Bruce Esrig
    • 1
  • James Hook
    • 2
  • Carl Klapper
    • 1
  • Garrel Pottinger
    • 1
  1. 1.Odyssey Research Associates, Inc.IthacaU.S.A.
  2. 2.Oregon Graduate InstituteBeavertonUSA

Personalised recommendations