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.