Rewriting with Frobenius (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 with Frobenius", In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Oxford, UK, July 09-12, 2018, pp. 165–174, 2018.
Bibtex Entry:
@InProceedings{Bonchi2018b,
  author    = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l Soboci\'nski and Fabio Zanasi},
  title     = {Rewriting with Frobenius},
  booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science ({LICS} 2018), Oxford, UK, July 09-12, 2018},
  year      = {2018},
  pages     = {165--174},
  doi       = {10.1145/3209108.3209137},
  url       = {http://doi.acm.org/10.1145/3209108.3209137},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BonchiGKSZ18},
  crossref  = {DBLP:conf/lics/2018},
  timestamp = {Mon, 02 Jul 2018 09:14:01 +0200},
}
Powered by bibtexbrowser