You are here

Home

Compositionality of SLD-derivations and their abstractions

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.

created with Drupal | customized by Giovanni Bacci