@inproceedings{behr-2023-convolution,
  doi = {10.4230/LIPICS.FSCD.2023.17},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.17},
  author = {Behr, Nicolas and Melliès, Paul-André and Zeilberger, Noam},
  keywords = {Categorical rewriting, double pushout, sesqui-pushout, double categories, convolution product, presheaf categories, framed bicategories, opfibrations, rule algebra, Theory of computation → Categorical semantics},
  language = {en},
  title = {Convolution Products on Double Categories and Categorification of Rule Algebras},
  volume = {260},
  pages = {17:1-17:20},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2023},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)}
}