Rule Algebras for Adhesive Categories (bibtex)

by Nicolas Behr and Paweł Sobociński

Reference:

Nicolas Behr and Paweł Sobociński, Rule Algebras for Adhesive Categories, In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 4–7, 2018 (Dan R. Ghica, Achim Jung, eds.), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 119, pp. 11:1–11:21, 2018.

Bibtex Entry:

@InProceedings{Behr2018,
  author    = {Nicolas Behr and Pawe{\l} Soboci{\'{n}}ski},
  title     = {Rule Algebras for Adhesive Categories},
  booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, Birmingham, {UK}, September 4--7, 2018},
  editor    = {Dan R. Ghica and Achim Jung},
  series    = {LIPIcs},
  volume    = {119},
  pages     = {11:1--11:21},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  doi       = {10.4230/LIPIcs.CSL.2018.11},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2018.11},
}