BibTeX record conf/scsquare/BoigelotFV22

• > Home > conf/scsquare/BoigelotFV22

@inproceedings{DBLP:conf/scsquare/BoigelotFV22,
  author       = {Bernard Boigelot and
                  Pascal Fontaine and
                  Baptiste Vergain},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Decidability of difference logics with unary predicates},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {25--36},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper3.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/BoigelotFV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}