RANZATO, FRANCESCO
RANZATO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Preface SAS 2017 | 2017 | RANZATO, FRANCESCO | - | - | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Static analysis, abstract interpretation and verification in (constraint logic) programming | 2010 | RANZATO, FRANCESCO + | - | - | A 25-Year Perspective onf Logic Programming |