DI GIUSTO, CINZIA
DI GIUSTO, CINZIA
DIP. DI SCIENZE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.002 secondi).
Expressiveness of Multiple Heads in CHR
2009 C. Di Giusto; M. Gabbrielli; M.C. Meo
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
2009 Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G
Full abstraction for Linda
2008 C. Di Giusto; M. Gabbrielli
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Expressiveness of Multiple Heads in CHR | C. Di Giusto; M. Gabbrielli; M.C. Meo | 2009-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages | Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G | 2009-01-01 | - | SPRINGER-VERLAG BERLIN | 4.01 Contributo in Atti di convegno | - |
Full abstraction for Linda | C. Di Giusto; M. Gabbrielli | 2008-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |