Rewriting Modulo Symmetric Monoidal Structure (bibtex)

by Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi

Reference:

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi, Rewriting Modulo Symmetric Monoidal Structure, In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5–8, 2016, ACM, pp. 710–719, 2016.

Bibtex Entry:

@InProceedings{Bonchi2016,
  author    = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe{\l} Soboci{\'{n}}ski and Fabio Zanasi},
  title     = {Rewriting Modulo Symmetric Monoidal Structure},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2016, New York, NY, USA, July 5--8, 2016},
  pages     = {710--719},
  publisher = {{ACM}},
  year      = {2016},
  doi       = {10.1145/2933575.2935316},
  url       = {https://doi.org/10.1145/2933575.2935316},
}