Geodesic
Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 3, pp. 351-354.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_2000_8_3A_3_a24,
     author = {Gori, Roberta},
     title = {Ragionando sul fallimento finito e le computazioni infinite usando l{\textquoteright}interpretazione astratta},
     journal = {Bollettino della Unione matematica italiana},
     pages = {351--354},
     publisher = {mathdoc},
     volume = {Ser. 8, 3A},
     number = {3},
     year = {2000},
     zbl = {Zbl 1053.68530},
     mrnumber = {666781},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_3_a24/}
}
TY  - JOUR
AU  - Gori, Roberta
TI  - Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
JO  - Bollettino della Unione matematica italiana
PY  - 2000
SP  - 351
EP  - 354
VL  - 3A
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_3_a24/
LA  - it
ID  - BUMI_2000_8_3A_3_a24
ER  - 
%0 Journal Article
%A Gori, Roberta
%T Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
%J Bollettino della Unione matematica italiana
%D 2000
%P 351-354
%V 3A
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_3_a24/
%G it
%F BUMI_2000_8_3A_3_a24
Gori, Roberta. Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta. Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 3, pp. 351-354. http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_3_a24/

[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. | DOI | MR | Zbl

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

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

[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 | Zbl