Rewriting with Frobenius
Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński
Book Title
Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)
Year
2018
Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński