Skip to main content

RCL: A lisp verification system

  • Conference paper
  • First Online:
10th International Conference on Automated Deduction (CADE 1990)

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

Included in the following conference series:

  • 166 Accesses

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

Access this chapter

Institutional subscriptions

References

  1. Guy L. Steele Jr., Common LISP: The Language, Digital Press, 1984.

    Google Scholar 

  2. M. Kaufmann, “A User's Manual for RCL”, Internal Note 157, Computational Logic, Inc., October 1989.

    Google Scholar 

  3. R. S. Boyer and J S. Moore, A Computational Logic Handbook, Academic Press, Boston, 1988.

    Google Scholar 

  4. M. Kaufmann, “A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover”, Technical Report 19, Computational Logic, Inc., May 1988.

    Google Scholar 

  5. W. Bevier, “A Library for Hardware Verification”, Internal Note 57, Computational Logic, Inc., June 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Mark E. Stickel

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kaufmann, M. (1990). RCL: A lisp verification system. In: Stickel, M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52885-7_129

Download citation

  • DOI: https://doi.org/10.1007/3-540-52885-7_129

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47171-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics