Herky: High performance rewriting in RRL

  • Hantao Zhang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 607)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Anantharaman, S., Hsiang, J.: (1990) Automated proofs of the Moufang identities in alternative rings. J. of Automated Reasoning 6: 79–109.Google Scholar
  2. [2]
    Christian, J.: (1989) Fast Knuth-Bendix completion: summary. Proc. of Third Intl. Conf. of Rewriting Techniques and Applications (RTA-89). Springer-Verlag LNCS 355, 548–510.Google Scholar
  3. [3]
    Jouannaud, J.P., Kirchner, H.: (1986) Completion of a set of rules modulo a set of equations. SIAM J. on Computing, 15:1155–1194.Google Scholar
  4. [4]
    Kapur, D., Zhang, H.: (1989) An overview of RRL: Rewrite Rule Laboratory. Proc. of the third International Conference on Rewriting Techniques and its Applications (RTA-89), April 1989, Chapel Hill, NC, Springer Verlag LNCS 355, 513–529.Google Scholar
  5. [5]
    McCune, B.: (1990) OTTER 2.0 users guide. ANL-90/9, Argonne National Laboratory, Argonue, IL.Google Scholar
  6. [6]
    Overbeek, R.: (1990) A proposal for a competition. Argonne National Laboratory, Argonne, IL.Google Scholar
  7. [7]
    Peterson, G.L.: (1990) Complete sets of reductions with constraints. Proc. of 10th International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence Vol. 449. Springer-Verlag, Berlin, pp. 381–395Google Scholar
  8. [8]
    Stevens, R.L.: (1987) Some experimental in nonassociative ring theorem with an automated theorem prover. J. of Automated Reasoning 3: 221–221Google Scholar
  9. [9]
    Stickel, M.E.: (1985) Automated deduction by theory resolution. J. of Automated Reasoning 1: 333–355Google Scholar
  10. [10]
    Zhang, H.: (1991) Criteria of critical pair criteria: a practical approach and a comparative study. Submitted to J. of Automated Reasoning.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Hantao Zhang
    • 1
  1. 1.Department of Computer ScienceThe University of IowaIowa CityUSA

Personalised recommendations