Research

Technical Report Results

Technical Report TR183:
Logic Continuations

Christopher T. Haynes
(Nov 1985)
[Proceedings of the Third Int'l Conf. on Logic Programming (July 1985), London, England Lecture Notes in Computer Science, / Vol. 225, Springer-Verlag, Berlin (1985), 671--685. Also in J. of Logic Programming, 4 /, 2 (1987) 157--176]
Abstract:
The abstact is not available. Please see the full paper.

Available as: