Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
Gori, Roberta
Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000), p. 351-354 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Publié le : 2000-12-01
@article{BUMI_2000_8_3A_3_351_0,
     author = {Roberta Gori},
     title = {Ragionando sul fallimento finito e le computazioni infinite usando l'interpretazione astratta},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {3-A},
     year = {2000},
     pages = {351-354},
     zbl = {Zbl 1053.68530},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_2000_8_3A_3_351_0}
}

Gori, Roberta. Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta. Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000) pp. 351-354. http://gdmltest.u-ga.fr/item/BUMI_2000_8_3A_3_351_0/

[1] Apt, K. R. e Van Emden, M. H., Contributions to the theory of logic programming, Journal of the ACM, 29(3) (1982), 841-862. | MR 666781 | Zbl 0483.68004

[2] Comini, M., Levi, G. e Meo, M. C., A theory of observables for logic programs, Information and Computation. To appear. | MR 1853375 | Zbl 1007.68020

[3] Levi, G., Martelli, M. e Palamidessi, C., Failure and success made symmetric, Proc. North American Conf. on Logic Programming (1990), 3-22. | MR 1130619

[4] Van Emden, M. H. e Kowalski, R. A., The semantics of predicate logic as a programming language, Journal of the ACM, 23(4) (1976), 733-742. | MR 455509 | Zbl 0339.68004