EnglishCancella i cookie per la scelta della lingua
in titoli, abstract e parole chiave
Ricerca
Ricerca semplice
Ricerca avanzata
Ultime accessioni
Scorri per
Autore
Settori scientifico-disciplinari
Anno
Tipologia prodotto
Accessibilità del full-text
Informazioni
Policy
Informazioni su fedOA
FAQ
Contatti
[up]
[pin missing: url][pin missing: url]
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Vai a: Tesi di dottorato | Pubblicazione in rivista scientifica | Contributo a Convegno o Workshop
Numero di documenti: 4.

Tesi di dottorato

Baselice, Sabrina (2008) On program grounding in ASP. [Tesi di dottorato] (Inedito)

Pubblicazione in rivista scientifica

Baselice, Sabrina and Bonatti, Piero Andrea (2010) A decidable subclass of finitary programs. [Pubblicazione in rivista scientifica]

Baselice, Sabrina and Bonatti, Piero Andrea and Criscuolo, Giovanni (2009) On finitely recursive programs. [Pubblicazione in rivista scientifica]

Contributo a Convegno o Workshop

Baselice, Sabrina and Bonatti, Piero Andrea (2008) Composing normal programs with function symbols. In: ICLP 2008, December 9-13 2008, Udine.

Questa lista è stata generata il Wed Apr 30 12:48:52 2025 CEST.

Università di Napoli - Centro di Ateneo per le Biblioteche