Regular search spaces as a foundation of logic programming

Momigliano, A.; Ornaghi, E.

doi:10.1007/3-540-58025-5_59

IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.

AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.

Regular search spaces as a foundation of logic programming / A. Momigliano, M. Ornaghi - In: Extensions of Logic Programming[s.l] : Springer, 1994. - ISBN 978-3-540-58025-6. - pp. 222-254

Titolo:	Regular search spaces as a foundation of logic programming
Autori:	MOMIGLIANO, ALBERTO DAVIDE ADOLFO (Primo) ORNAGHI, ELISA
Settore Scientifico Disciplinare:	Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica
Data di pubblicazione:	1994
Digital Object Identifier (DOI):	http://dx.doi.org/10.1007/3-540-58025-5_59
Tipologia:	Book Part (author)
Appare nelle tipologie:	03 - Contributo in volume

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Pubblicazioni consigliate

Loading suggested articles...

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2434/212952

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.