BALDAZZI, TEODORO
BALDAZZI, TEODORO
Dipartimento di Ingegneria civile, informatica e delle tecnologie aeronautiche
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Eliminating Harmful Joins in Warded Datalog+/− | 1-gen-2021 | Baldazzi, T.; Bellomarini, L.; Sallinger, E.; Atzeni, P. | |
iWarded: A Versatile Generator to Benchmark Warded Datalog plus /- Reasoning | 1-gen-2022 | Atzeni, P; Baldazzi, T; Bellomarini, L; Sallinger, E |