Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta

Roberta Gori

Bollettino dell'Unione Matematica Italiana (2000)

  • Volume: 3-A, Issue: 3, page 351-354
  • ISSN: 0392-4041

How to cite

top

Gori, 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
  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. Zbl0483.68004MR666781DOI10.1145/322326.322339
  2. 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
  3. LEVI, G., MARTELLI, M. e PALAMIDESSI, C., Failure and success made symmetric, Proc. North American Conf. on Logic Programming (1990), 3-22. MR1130619
  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. Zbl0339.68004MR455509

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.