On the correspondence between two classes of reduction systems
- 1 February 1985
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 20 (2) , 83-85
- https://doi.org/10.1016/0020-0190(85)90068-7
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Abstract Implementations and Their Correctness ProofsJournal of the ACM, 1983
- Computing in systems described by equationsLecture Notes in Computer Science, 1977
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965