Skip to main content
SpringerLink
Log in

IMPS: System description

  • Conference paper
  • First Online:
Automated Deduction—CADE-11 (CADE 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 607))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. M. Farmer. Abstract data types in many-sorted second-order logic. Technical Report M87-64, The Mitre Corporation, 1987.

    Google Scholar 

  2. W. M. Farmer. A partial functions version of Church's simple theory of types. Journal of Symbolic Logic, 55:1269–91, 1990.

    Google Scholar 

  3. W. M. Farmer. A simple type theory with partial functions and subtypes. Technical report, The MITRE Corporation, 1991. Submitted to Annals of Pure and Applied Logic.

    Google Scholar 

  4. W. M. Farmer, J. D. Guttman, and F. J. Thayer. Little theories. In these proceedings.

    Google Scholar 

  5. W. M. Farmer, J. D. Guttman, and F. J. Thayer. Imps: an Interactive Mathematical Proof System. Technical Report M90-19, The Mitre Corporation, 1991. Submitted to Journal of Automated Reasoning.

    Google Scholar 

  6. W. M. Farmer and F. J. Thayer. Two computer-supported proofs in metric space topology. Notices of the American Mathematical Society, 38:1133–1138, 1991.

    Google Scholar 

  7. J. D. Guttman. A proposed interface logic for verification environments. Technical Report M91-19, The mitre Corporation, 1991.

    Google Scholar 

  8. L. G. Monk. Inference rules using local contexts. Journal of Automated Reasoning, 4:445–462, 1988.

    Google Scholar 

  9. F. J. Thayer. Obligated term replacements. Technical Report MTR-10301, The Mitre Corporation, 1987.

    Google Scholar 

Download references

Author information

Author notes

  1. William M. Farmer, Joshua D. Guttman & F. Javier Thayer

    Present address: The MITRE Corporation, 202 Burlington Rd, 01730, Bedford, MA, USA

Authors and Affiliations

    Authors
    1. William M. Farmer
      View author publications

      You can also search for this author in PubMed Google Scholar

    2. Joshua D. Guttman
      View author publications

      You can also search for this author in PubMed Google Scholar

    3. F. Javier Thayer
      View author publications

      You can also search for this author in PubMed Google Scholar

    Corresponding authors

    Correspondence to William M. Farmer , Joshua D. Guttman or F. Javier Thayer .

    Editor information

    Deepak Kapur

    Rights and permissions

    Reprints and permissions

    Copyright information

    © 1992 Springer-Verlag Berlin Heidelberg

    About this paper

    Cite this paper

    Farmer, W.M., Guttman, J.D., Javier Thayer, F. (1992). IMPS: System description. In: Kapur, D. (eds) Automated Deduction—CADE-11. CADE 1992. Lecture Notes in Computer Science, vol 607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55602-8_207

    Download citation

    • DOI: https://doi.org/10.1007/3-540-55602-8_207

    • Published:

    • Publisher Name: Springer, Berlin, Heidelberg

    • Print ISBN: 978-3-540-55602-2

    • Online ISBN: 978-3-540-47252-0

    • eBook Packages: Springer Book Archive

    Publish with us

    Policies and ethics

    Search

    Navigation