You are here

Home

Publications

Export 2 results:
Filters: Keyword is SLD-derivations  [Clear All Filters]
1998
M. Comini, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.
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.

created with Drupal | customized by Giovanni Bacci