Sfoglia per Autore ZANASI, FABIO
Mostra risultati da 1 a 8 di 8
Bialgebraic semantics for string diagrams
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Graphical affine algebra
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Zanasi, F.
Bialgebraic foundations for the operational semantics of string diagrams
2021-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
A Survey of Compositional Signal Flow Theory
2021-01-01 Bonchi, F.; Sobocinski, P.; Zanasi, F.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2022-01-01 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
2022-01-01 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
String diagram rewrite theory III: Confluence with and without Frobenius
2022-01-01 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Zanasi, F. | |
Bialgebraic foundations for the operational semantics of string diagrams | 1-gen-2021 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
A Survey of Compositional Signal Flow Theory | 1-gen-2021 | Bonchi, F.; Sobocinski, P.; Zanasi, F. | |
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 |
Mostra risultati da 1 a 8 di 8
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile