|
||||||
|
||||||
|
||||||
|
|
||||||
Autore/Creatore: Baselice, SabrinaNumero di records: 4.
BASELICE, SABRINA and BONATTI, PIERO ANDREA (2010) A decidable subclass of finitary programs. [Pubblicazione su rivista scientifica] BASELICE, SABRINA and BONATTI, PIERO ANDREA (2008) Composing normal programs with function symbols. In: ICLP 2008, December 9-13 2008, Udine. BASELICE, SABRINA and BONATTI, PIERO ANDREA and CRISCUOLO, GIOVANNI (2009) On finitely recursive programs. [Pubblicazione su rivista scientifica] Baselice, Sabrina (2008) On program grounding in ASP. [Tesi di dottorato] (Inedito) |
