You are here

Publications

Export 2 results:
Filters: Keyword is Compositionality  [Clear All Filters]
Journal Article
M. Comini, Levi, G., and Meo, M. C., A Theory of Observables for Logic Programs, Information and Computation, vol. 169, pp. 23–80, 2001.
Thesis
M. Comini, An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.