Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
Bollettino dell'Unione Matematica Italiana (2000)
- Volume: 3-A, Issue: 3, page 351-354
- ISSN: 0392-4041
Access Full Article
top
Abstract
topHow to cite
topGori, Roberta. "Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta." Bollettino dell'Unione Matematica Italiana 3-A.3 (2000): 351-354. <http://eudml.org/doc/260921>.
@article{Gori2000,
abstract = {},
author = {Gori, Roberta},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {12},
number = {3},
pages = {351-354},
publisher = {Unione Matematica Italiana},
title = {Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta},
url = {http://eudml.org/doc/260921},
volume = {3-A},
year = {2000},
}
TY - JOUR
AU - Gori, Roberta
TI - Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
JO - Bollettino dell'Unione Matematica Italiana
DA - 2000/12//
PB - Unione Matematica Italiana
VL - 3-A
IS - 3
SP - 351
EP - 354
AB -
LA - ita
UR - http://eudml.org/doc/260921
ER -
References
top- APT, K. R. e VAN EMDEN, M. H., Contributions to the theory of logic programming, Journal of the ACM, 29(3) (1982), 841-862. Zbl0483.68004MR666781DOI10.1145/322326.322339
- COMINI, M., LEVI, G. e MEO, M. C., A theory of observables for logic programs, Information and Computation. To appear. Zbl1007.68020MR1853375DOI10.1006/inco.2000.3024
- LEVI, G., MARTELLI, M. e PALAMIDESSI, C., Failure and success made symmetric, Proc. North American Conf. on Logic Programming (1990), 3-22. MR1130619
- 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. Zbl0339.68004MR455509
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.