bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 3 -> pp. 351-354

Referenza completa

Gori, Roberta:
Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
Bollettino dell'Unione Matematica Italiana Serie 8 3-A (2000) —La Matematica nella Società e nella Cultura, fasc. n.3, p. 351-354, Unione Matematica Italiana (Italian)
pdf (220 Kb), djvu (70 Kb). | Zbl Zbl 1053.68530

Referenze Bibliografiche
[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. | fulltext (doi) | 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. | fulltext (doi) | 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
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 3 -> pp. 351-354

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali