SOBOCINSKI, PAWEL MARIA Statistiche
SOBOCINSKI, PAWEL MARIA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.013 secondi).
A Survey of Compositional Signal Flow Theory
2021-01-01 Bonchi, F.; Sobocinski, P.; Zanasi, F.
Bialgebraic foundations for the operational semantics of string diagrams
2021-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Bialgebraic semantics for string diagrams
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Diagrammatic Polyhedral Algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Sobocinski, P.
Graphical affine algebra
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
On doctrines and cartesian bicategories
2021-01-01 Bonchi, F.; Santamaria, A.; Seeber, J.; Sobocinski, P.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2022-01-01 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
The axiom of choice in cartesian bicategories
2019-01-01 Bonchi, F.; Seeber, J.; Sobocinski, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Bialgebraic semantics for string diagrams | 1-gen-2019 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
Diagrammatic Polyhedral Algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Sobocinski, P. | |
Graphical affine algebra | 1-gen-2019 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
On doctrines and cartesian bicategories | 1-gen-2021 | Bonchi, F.; Santamaria, A.; Seeber, J.; Sobocinski, P. | |
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 1-gen-2022 | Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio | |
The axiom of choice in cartesian bicategories | 1-gen-2019 | Bonchi, F.; Seeber, J.; Sobocinski, P. |