SALA, Pietro
SALA, Pietro
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A uniform framework for temporal functional dependencies with multiple granularities | 1-gen-2011 | Combi, Carlo; Montanari, Angelo; Sala, Pietro | |
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic | 1-gen-2006 | Bresolin, Davide; Angelo, Montanari; Sala, Pietro |