DI GIUSTO, CINZIA

DI GIUSTO, CINZIA  

DIP. DI SCIENZE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
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 -
Full abstraction for Linda C. Di Giusto; M. Gabbrielli 2008-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 -