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)

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 1985

Authors and Affiliations

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

Personalised recommendations