IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 62
Titolo Data di pubblicazione Autore(i) File
An OR-Compositional Semantics for Logic Programs 1991 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Observational Equivalences for Logic Programs 1992 Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns 1992 Gabbrielli, Maurizio; Meo, MARIA CHIARA
Contributions to the Semantics of Open Logic Programs 1992 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Differential Logic Programming 1993 Bossi, Annalisa; Bugliesi, Michele; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
A Compositional Semantics for Logic Programs 1994 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Compilative Constructive Negation in Constraint Logic Programs 1994 Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, MARIA CHIARA
A Bottom-up Semantics for Constructive Negation 1994 Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA
Compositionality in SLD-Derivations and their Abstractions 1995 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA
Observable Behaviors and Equivalences of Logic Programs 1995 Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Proving Properties of Logic Programs by Abstract Diagnosis 1996 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana
Differential Logic Programs: Programming Methodologies and Semantics 1996 Bossi, Annalisa; Bugliesi, Michele; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Resultants Semantics for Prolog 1996 Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Semantics and Expressive Power of a Timed Concurrent Constraint Language 1997 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Unfold/Fold Transformations of CCP Programs 1998 Etalle, Sandro; Gabbrielli, Maurizio; Meo, MARIA CHIARA
On the Expressiveness of Concurrent Constraint Languages 1999 Meo, MARIA CHIARA
Compositionality properties of SLD-derivations 1999 Comini, Marco; Meo, MARIA CHIARA
Abstract Diagnosis 1999 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana
A Timed Linda Language 2000 Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA
A Timed Concurrent Constraint Language 2000 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Mostrati risultati da 1 a 20 di 62
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile