Sfoglia per Autore
An OR-Compositional Semantics for Logic Programs
1991-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Observational Equivalences for Logic Programs
1992-01-01 Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Contributions to the Semantics of Open Logic Programs
1992-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns
1992-01-01 Gabbrielli, Maurizio; Meo, MARIA CHIARA
Differential Logic Programming
1993-01-01 Bossi, Annalisa; Bugliesi, Michele; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
A Compositional Semantics for Logic Programs
1994-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
A Bottom-up Semantics for Constructive Negation
1994-01-01 Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA
Compilative Constructive Negation in Constraint Logic Programs
1994-01-01 Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, MARIA CHIARA
Compositionality in SLD-Derivations and their Abstractions
1995-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA
Observable Behaviors and Equivalences of Logic Programs
1995-01-01 Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Proving Properties of Logic Programs by Abstract Diagnosis
1996-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana
Resultants Semantics for Prolog
1996-01-01 Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Differential Logic Programs: Programming Methodologies and Semantics
1996-01-01 Bossi, Annalisa; Bugliesi, Michele; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Semantics and Expressive Power of a Timed Concurrent Constraint Language
1997-01-01 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Unfold/Fold Transformations of CCP Programs
1998-01-01 Etalle, Sandro; Gabbrielli, Maurizio; Meo, MARIA CHIARA
On the Expressiveness of Concurrent Constraint Languages
1999-01-01 Meo, MARIA CHIARA
Compositionality properties of SLD-derivations
1999-01-01 Comini, Marco; Meo, MARIA CHIARA
Abstract Diagnosis
1999-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana
A Timed Concurrent Constraint Language
2000-01-01 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A Timed Linda Language
2000-01-01 Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA
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 | |
Contributions to the Semantics of Open Logic Programs | 1992 | Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA | |
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns | 1992 | Gabbrielli, Maurizio; 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 | |
A Bottom-up Semantics for Constructive Negation | 1994 | Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA | |
Compilative Constructive Negation in Constraint Logic Programs | 1994 | Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; 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 | |
Resultants Semantics for Prolog | 1996 | Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA | |
Differential Logic Programs: Programming Methodologies and Semantics | 1996 | Bossi, Annalisa; Bugliesi, Michele; 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 Concurrent Constraint Language | 2000 | de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
A Timed Linda Language | 2000 | Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA |
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