Term-Rewriting Implementation of Equational Logic Programming
List of papers
from
Michael J. O'Donnell
Bibliography
Michael J. O'Donnell
.
Tree-rewriting implementation of equational logic programming.
In P. Lescanne, editor, Rewriting Techniques and Applications,
Bordeaux, France, May 1987, Proceedings,
Lecture Notes in Computer Science, 256, Springer-Verlag, 1987.
Copyright
Copyright is held by the author, who grants permission to use the
material under the terms of the GNU license. In general, you may use
this reprint for noncommercial scholarly and educational purposes. You
may convert the text to other formats, and pass along copies to others
as long as you preserve the credit to the authors and publisher, and
pass on with every copy of this paper or derivative work the full
license granted to you.