La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli

Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi. La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. In Domenico SaccĂ , editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 341-358, 1993.

Authors

Roberto Barbuti

This author has not been identified. Look up 'Roberto Barbuti' in Google

E. Bellugi

This author has not been identified. Look up 'E. Bellugi' in Google

Mauro Gaspari

This author has not been identified. Look up 'Mauro Gaspari' in Google

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google