MEO, MARIA CHIARA

MEO, MARIA CHIARA  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.036 secondi).
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