BibTeX record journals/corr/abs-2211-12629

• > Home > journals/corr/abs-2211-12629

@inproceedings{DBLP:journals/corr/abs-2211-12629,
  author       = {Tao Gu and
                  Robin Piedeleu and
                  Fabio Zanasi},
  editor       = {Justin Hsu and
                  Christine Tasson},
  title        = {A Complete Diagrammatic Calculus for Boolean Satisfiability},
  booktitle    = {Proceedings of the 38th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
                  NY, USA, with a satellite event at IRIF, Denis Diderot University,
                  Paris, France, and online, July 11-13, 2022},
  series       = {{EPTICS}},
  volume       = {1},
  publisher    = {EpiSciences},
  year         = {2022},
  url          = {https://doi.org/10.46298/entics.10481},
  doi          = {10.46298/ENTICS.10481},
  timestamp    = {Wed, 03 Jan 2024 15:55:33 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-12629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}