Skip to main content

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