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.007 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 | 1-gen-2011 | BRUTTOMESSO, ROBERTOS. Ghilardi + | Book Part (author) | - |