BRUTTOMESSO, ROBERTO
BRUTTOMESSO, ROBERTO
DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE (attivo dal 01/01/1986 al 26/04/2012)
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints | 2011 | BRUTTOMESSO, ROBERTOS. Ghilardi + | Book Part (author) | - |