Survey of the Equational Logic Programming Project
List of papers
from
Michael J. O'Donnell
Bibliography
Michael J. O'Donnell
.
Survey of the Equational Logic Programming Project.
University of Chicago Department of Computer Science Technical Report
CS87-04. Presented at the Colloquium on Resolution of Equations in
Algebraic Structures, Lakeway TX, May 1987. Did not appear in
the proceedings.
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.