BONCHI, FILIPPO

BONCHI, FILIPPO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F. 2022-01-01 JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - 1.01 Articolo in rivista Zanasi_String Diagram Rewrite Theory I. Rewriting with Frobenius Structure_submitted.pdf
String diagram rewrite theory II: Rewriting with symmetric monoidal structure Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F 2022-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
String Diagram Rewrite Theory III: Confluence with and without Frobenius Filippo Bonchi ;
Fabio Gadducci ;
Aleks Kissinger ;
Pawel Sobocinski ;
Fabio Zanasi
2022-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius.pdf
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra Bonchi F.; Di Giorgio A.; Zanasi F. 2021-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno LIPIcs-CALCO-2021-9.pdf
Bialgebraic semantics for string diagrams Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F. 2019-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno LIPIcs-CONCUR-2019-37.pdf