This is a preview of subscription content, log in via an institution to check access.
References
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.)
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–56
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–31
C Walther Unification in Many-Sorted Theories Proceedings of the European Conference on Artificial Intelligence 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-15984-3_295
Download citation
DOI: https://doi.org/10.1007/3-540-15984-3_295
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15984-1
Online ISBN: 978-3-540-39685-7
eBook Packages: Springer Book Archive