This is a preview of subscription content, log in via an institution.
A Partial List of References
Kapur, D., Sivakumar, G., and Zhang, H., “RRL: A Rewrite Rule Laboratory,” Proc. of 8th International Conf. on Automated Deduction (CADE-8), Oxford, England, LNCS 230, Springer Verlag, 691–692, July 1986.
Kapur, D., and Zhang, H., RRL: A Rewrite Rule Laboratory — User's Manual. Unpublished Manuscript, General Electric Corporate Research and Development, Schenectady, NY, May 1987.
Knuth, D.E., and Bendix, P.B., “Simple Word Problems in Universal Algebras,” Computational Problems in Abstract Algebras (ed. Leech), Pergamon Press, 1970, 263–297.
Narendran, P., and Stillman, J., “Hardware Verification in the Interactive VHDL Workstation,” in: VLSI Specification, Verification and Synthesis (eds. G. Birtwistle and P.A. Subrahmanyam), Kluwer Academic Publishers, 217–235, 1988.
Narendran, P., and Stillman, J., “Formal Verification of the Sobel Image Processing Chip,” to appear in the Proc. of IEEE Design Automation Conf., Anaheim, CA, June 1988.
Zhang, H., and Kapur, D., “First-Order Theorem Proving using Conditional Rewrite Rules,” to appear in the Proc. of CADE-9, Argonne, May 1988.
Zhang, H., Kapur, D., and Krishnamoorthy, M.S., “A Mechanizable Induction Principle for Equational Specifications,” to appear in the Proc. of CADE-9, Argonne, May 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kapur, D., Zhang, H. (1988). RRL: A rewrite rule laboratory. 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/BFb0012889
Download citation
DOI: https://doi.org/10.1007/BFb0012889
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