Compositional Diagrammatic First-Order Logic (bibtex)

by Nathan Haydon and Paweł Sobociński

Reference:

Nathan Haydon and Paweł Sobociński, Compositional Diagrammatic First-Order Logic, In Diagrammatic Representation and Inference – 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings, Springer, vol. 12169, pp. 402–418, 2020.

Bibtex Entry:

@InProceedings{Haydon2020,
  author    = {Nathan Haydon and Pawe{\l} Soboci{\'{n}}ski},
  title     = {Compositional Diagrammatic First-Order Logic},
  booktitle = {Diagrammatic Representation and Inference -- 11th International Conference, {Diagrams} 2020, Tallinn, Estonia, August 24--28, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12169},
  pages     = {402--418},
  publisher = {Springer},
  year      = {2020},
  doi       = {10.1007/978-3-030-54249-8\_32},
  url       = {https://doi.org/10.1007/978-3-030-54249-8\_32},
}