DI GIORGIO, ALESSANDRO Statistiche
DI GIORGIO, ALESSANDRO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
Diagrammatic Algebra of First Order Logic
2024-01-01 Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan; Sobocinski, Pawel
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines
2024-01-01 Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide
Deconstructing the Calculus of Relations with Tape Diagrams
2023-01-01 Bonchi, F; Di Giorgio, A; Santamaria, A
Diagrammatic Polyhedral Algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Sobocinski, P.
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Zanasi, F.
Backus FP revisited: A parallel perspective on modern multicores
2020-01-01 Di Giorgio, A.; Danelutto, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Diagrammatic Algebra of First Order Logic | 1-gen-2024 | Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan; Sobocinski, Pawel | |
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines | 1-gen-2024 | Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide | |
Deconstructing the Calculus of Relations with Tape Diagrams | 1-gen-2023 | Bonchi, F; Di Giorgio, A; Santamaria, A | |
Diagrammatic Polyhedral Algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Sobocinski, P. | |
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Zanasi, F. | |
Backus FP revisited: A parallel perspective on modern multicores | 1-gen-2020 | Di Giorgio, A.; Danelutto, M. |