You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Author is Lloyd, J. [Clear All Filters]

Conference Proceedings

M. Comini, Levi, G., and Meo, M. C., “Compositionality of SLD-derivations and their abstractions”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.

M. Comini, Levi, G., and Vitiello, G., “Declarative Diagnosis Revisited”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.