MEO, MARIA CHIARA
MEO, MARIA CHIARA
DIPARTIMENTO DI ECONOMIA
A Bottom-up Semantics for Constructive Negation
1994-01-01 Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA
A compositional semantics for CHR
2005-01-01 Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A compositional Semantics for CHR
2009-01-01 Gabbrielli, Maurizio; Meo, MARIA CHIARA
A compositional Semantics for CHR with propagation rules
2008-01-01 Gabbrielli, Maurizio; Meo, MARIA CHIARA; Tacchella, Paolo
A Compositional Semantics for Logic Programs
1994-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
A Denotational Semantics for Timed Linda
2001-01-01 Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA
A Taxonomy of Program Analyses
2018-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs
2001-01-01 De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A Theory of Observables for Logic Programs
2001-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA
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
A Timed Linda Language and its Denotational Semantics.
2004-01-01 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Abstract Diagnosis
1999-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
2023-01-01 Bistarelli, S; Taticchi, C; Meo, Mc
An OR-Compositional Semantics for Logic Programs
1991-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Compilative Constructive Negation in Constraint Logic Programs
1994-01-01 Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, MARIA CHIARA
Compositional Verification of Infinite State Systems.
2003-01-01 Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Compositionality in SLD-Derivations and their Abstractions
1995-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA
Compositionality properties of SLD-derivations
1999-01-01 Comini, Marco; Meo, MARIA CHIARA
Concurrent Argumentation with Time: an Overview
2021-01-01 Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Bottom-up Semantics for Constructive Negation | 1994 | Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA | |
A compositional semantics for CHR | 2005 | Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
A compositional Semantics for CHR | 2009 | Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
A compositional Semantics for CHR with propagation rules | 2008 | Gabbrielli, Maurizio; Meo, MARIA CHIARA; Tacchella, Paolo | |
A Compositional Semantics for Logic Programs | 1994 | Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA | |
A Denotational Semantics for Timed Linda | 2001 | Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA | |
A Taxonomy of Program Analyses | 2018 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs | 2001 | De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
A Theory of Observables for Logic Programs | 2001 | Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA | |
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 | |
A Timed Linda Language and its Denotational Semantics. | 2004 | de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
Abstract Diagnosis | 1999 | Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana | |
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games | 2023 | Bistarelli, S; Taticchi, C; Meo, Mc | |
An OR-Compositional Semantics for Logic Programs | 1991 | 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 | |
Compositional Verification of Infinite State Systems. | 2003 | Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
Compositionality in SLD-Derivations and their Abstractions | 1995 | Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA | |
Compositionality properties of SLD-derivations | 1999 | Comini, Marco; Meo, MARIA CHIARA | |
Concurrent Argumentation with Time: an Overview | 2021 | Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo |