Skip to main content
SpringerLink
Log in

EFS — An interactive Environment for Formal Systems

  • Conference paper
  • First Online:
9th International Conference on Automated Deduction (CADE 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 310))

Included in the following conference series:

  • 160 Accesses

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

References

  1. Robert L. Constable, et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.

    Google Scholar 

  2. Thierry Coquand and Gérard Huet. Constuctions: a higher order proof system for mechanizing mathematics. In Bruno Buchberger, editor, EUROCAL '85, pages 151–184, Springer-Verlag, 1985.

    Google Scholar 

  3. N. G. de Bruijn. A survey of the project AUTOMATH. In J. P. Seldin and J. R. Hindley, editors, Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 589–606, Academic Press, 1980.

    Google Scholar 

  4. Timothy G. Griffin. An Environment for Formal Systems. Technical Report 87-846, Department of Computer Science, Cornell University, 1987. (also LFCS report ECS-LFCS-87-34, Department of Computer Science, University of Edinburgh).

    Google Scholar 

  5. Timothy G. Griffin. Notational definitions — a formal account. In Proceedings of the Third Symposium on Logic in Computer Science, July 1988. To appear.

    Google Scholar 

  6. Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. In Proceedings of the Second Symposium on Logic in Computer Science, 1987.

    Google Scholar 

  7. Thomas W. Reps and Bowen Alpern. Interactive proof checking. In POPL11, 1984.

    Google Scholar 

  8. Thomas W. Reps and T. Teitelbaum. The Synthesizer Generator Reference Manual. Dept. of Computer Science, Cornell University, Ithaca, NY,14853, 1985. Second Edition, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cornell University, USA

    Timothy G. Griffin

Authors
  1. Timothy G. Griffin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ewing Lusk Ross Overbeek

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Griffin, T.G. (1988). EFS — An interactive Environment for Formal Systems. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012875

Download citation

  • DOI: https://doi.org/10.1007/BFb0012875

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-39216-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation