Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Mostrati risultati da 1 a 4 di 4
A compositional Semantics for CHR
2009-01-01 Gabbrielli, Maurizio; Meo, MARIA CHIARA
Making abstract domains condensing
2005-01-01 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
On the Expressive Power of Multiple Heads in CHR
2012-01-01 Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Proving correctness of timed concurrent constraint programs
2004-01-01 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A compositional Semantics for CHR | 2009 | Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
Making abstract domains condensing | 2005 | Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca | |
On the Expressive Power of Multiple Heads in CHR | 2012 | Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
Proving correctness of timed concurrent constraint programs | 2004 | de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA |
Mostrati risultati da 1 a 4 di 4
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