IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 57
Titolo Data di pubblicazione Autore(i) File
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
Transformations of CCP programs. 2001 Etalle, Sandro; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A Denotational Semantics for Timed Linda 2001 Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA
Proving Correctness of Timed Concurrent Constraint Programs 2002 De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Compositional Verification of Infinite State Systems. 2003 Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Proving correctness of timed concurrent constraint programs 2004 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A Timed Linda Language and its Denotational Semantics. 2004 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A compositional semantics for CHR 2005 Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Unfolding in CHR 2007 Tacchella, Paolo; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A compositional Semantics for CHR with propagation rules 2008 Gabbrielli, Maurizio; Meo, MARIA CHIARA; Tacchella, Paolo
Timed soft Concurrent Constraint Programs 2008 Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, MARIA CHIARA; Santini, Francesco
Expressiveness of multiple heads in CHR 2009 Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, MARIA CHIARA
On the expressive power of priorities in CHR 2009 Gabbrielli, Maurizio; Mauro, Jacopo; Meo, MARIA CHIARA
A compositional Semantics for CHR 2009 Gabbrielli, Maurizio; Meo, MARIA CHIARA
Theoretical Foundations and Semantics of Logic Programming 2010 Bossi, Annalisa; Meo, MARIA CHIARA
Decidability properties for fragments of CHR 2010 Gabbrielli, Maurizio; Mauro, Jacopo; Meo, MARIA CHIARA; Sneyers, Jon
On the Expressive Power of Multiple Heads in CHR 2012 Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, MARIA CHIARA
The expressive power of CHR with priorities 2013 Gabbrielli, M.; Mauro, J.; Meo, MARIA CHIARA
Unfolding for CHR programs 2015 Gabbrielli, M.; Meo, MARIA CHIARA; Tacchella, P.; Wiklicky, H.
Mostrati risultati da 21 a 40 di 57
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