IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Lecture Notes in Artificial Intelligence

Static Semantics as Program Transformation and Well-Founded Computation

LANZARONE, GAETANO AURELIO
1995-01-01

Abstract

Lecture Notes in Artificial Intelligence
1995
DIX J.; PEREIRA L.M.; PRZYMUSINSKI T.C. EDITORS
Non-Monotonic Extensions of Logic Programming
927
Springer-Verlag
Costantini, S.; Lanzarone, GAETANO AURELIO
268
none
Contributo specifico in volume::Capitolo di Libro
info:eu-repo/semantics/bookPart
2
Capitolo di Libro
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/5462
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact