Skip to main content
SpringerLink
Log in

RRL: A rewrite rule laboratory

  • Extended Abstracts Of Current Deduction Systems
  • Conference paper
  • First Online:
8th International Conference on Automated Deduction (CADE 1986)

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

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

A Partial List of References

  1. Dershowitz, N., “Termination,” Proc. of the First Intl. Conf. on Rewriting Techniques and Applications, Dijon, France, May 1985, LNCS 202, Springer Verlag, pp. 180–224.

    Google Scholar 

  2. Kapur, D., and Sivakumar, G., “Architecture of and Experiments with RRL, a Rewrite Rule Laboratory,” Proc. of a NSF Workshop on the Rewrite Rule Laboratory, Sept. 6–9, 1983, General Electric CRD Report 84GEN004, April 1984, pp.33–56.

    Google Scholar 

  3. Kapur, D., and Narendran, P., “An Equational Approach to Theorem Proving in First-order Predicate Calculus,” Proc. of the 9th IJCAI, Los Angeles, August 1985, pp. 1146–1153.

    Google Scholar 

  4. Kapur, D., Narendran, P., and Zhang, H., “Proof by Induction using Test Sets,” to appear in the Proc. of 8th Intl. Conf. on Automated Deduction (CADE-8), Oxford, England, July 1986.

    Google Scholar 

  5. Kapur, D., and Zhang, H., RRL: A Rewrite Rule Laboratory — User's Manual. Unpublished Manuscript, General Electric Corporate Research and Development, Schenectady, NY, March 1986.

    Google Scholar 

  6. Knuth, D.E., and Bendix, P.B., “Simple Word Problems in Universal Algebras,” Computational Problems in Abstract Algebras (ed. Leech), Pergamon Press, 1970, pp. 263–297.

    Google Scholar 

  7. Musser, D.R., “Proving Inductive Properties of Abstract Data Types,” Proc. of 7th ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, Jan. 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Corporate Research & Development, General Electric Co., Schenectady, NY, USA

    Deepak Kapur

  2. Dept. of Computer Science, University of Illinois, Urbana, IL, USA

    G. Sivakumar

  3. Dept. of Computer Science, Rensselaer Polytechnic Institute, Troy, NY, USA

    Hantao Zhang

Authors
  1. Deepak Kapur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Sivakumar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hantao Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg H. Siekmann

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kapur, D., Sivakumar, G., Zhang, H. (1986). RRL: A rewrite rule laboratory. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_140

Download citation

  • DOI: https://doi.org/10.1007/3-540-16780-3_140

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16780-8

  • Online ISBN: 978-3-540-39861-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation