ERIL — Equational reasoning: an interactive laboratory

  • AJJ Dick
Rewrite Rules And The Completion Procedure

DOI: 10.1007/3-540-15984-3_295

Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)
Cite this paper as:
Dick A. (1985) ERIL — Equational reasoning: an interactive laboratory. In: Caviness B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg

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