ZANASI, FABIO Statistiche

ZANASI, FABIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure 1-gen-2022 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
String diagram rewrite theory II: Rewriting with symmetric monoidal structure 1-gen-2022 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
String diagram rewrite theory III: Confluence with and without Frobenius 1-gen-2022 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
A Survey of Compositional Signal Flow Theory 1-gen-2021 Bonchi, F.; Sobocinski, P.; Zanasi, F.
Bialgebraic foundations for the operational semantics of string diagrams 1-gen-2021 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra 1-gen-2021 Bonchi, F.; Di Giorgio, A.; Zanasi, F.
Bialgebraic semantics for string diagrams 1-gen-2019 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Graphical affine algebra 1-gen-2019 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.