You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is SLD-derivations and Author is Marco Comini [Clear All Filters]

2001

M. Comini, Levi, G., and Meo, M. C., “A Theory of Observables for Logic Programs”, Information and Computation, vol. 169, pp. 23–80, 2001.

1998

M. Comini, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.