Advertisement

ERIL — Equational reasoning: an interactive laboratory

  • AJJ Dick
Rewrite Rules And The Completion Procedure
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)

Keywords

Critical Pair Partial Algebra Rutherford Appleton Laboratory Laboratory Informatics Equational Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [Cunningham and Dick 84]
    R J Cunningham, A J J Dick Rewrite Systems on a Lattice of Types Report No DOC 83/7, Imperial College, London SW7 (To be published in Acta Informatica.)Google Scholar
  2. [Forgaard and Guttag]
    R Forgaard, J V Guttag REVE: A term Rewriting System Generation with Failure Resistant Knuth-Bendix Proceedings of an NSF workshop on the rewrite rule laboratory, Sept 6–9 1983, General Electric CRD Rep No 84GEN008 pp. 33–56Google Scholar
  3. [Kapur and Sivakumar 84]
    D Kapur, G Sivakumar Experiments with and Architecture of RRL, a Rewrite Rule Laboratory Proceedings of an NSF workshop on the rewrite rule laboratory, Sept 6–9 1983, General Electric CRD Rep No 84GEN008 pp. 5–31Google Scholar
  4. [Walther 84]
    C Walther Unification in Many-Sorted Theories Proceedings of the European Conference on Artificial Intelligence 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • AJJ Dick
    • 1
  1. 1.Science and Engineering Research Council Rutherford Appleton Laboratory Informatics DivisionSoftware Engineering GroupChiltonUK

Personalised recommendations