![](/img/cover-not-exists.png)
[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Rewriting modulo symmetric monoidal structure
Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, FabioYear:
2016
Language:
english
DOI:
10.1145/2933575.2935316
File:
PDF, 1.71 MB
english, 2016