Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (bibtex)

by Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder and Paul Wild

Reference:

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder and Paul Wild: Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach, In Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, eds.: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, LIPIcs, vol. 289, pp. 10:1–10:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{DBLP:conf/stacs/BeoharG0MFSW24,
  author       = {Harsh Beohar and
                  Sebastian Gurke and
                  Barbara K{\"{o}}nig and
                  Karla Messing and
                  Jonas Forster and
                  Lutz Schr{\"{o}}der and
                  Paul Wild},
  editor       = {Olaf Beyersdorff and
                  Mamadou Moustapha Kant{\'{e}} and
                  Orna Kupferman and
                  Daniel Lokshtanov},
  title        = {Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based
                  Approach},
  booktitle    = {41st International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2024, March 12-14, 2024, Clermont-Ferrand, France},
  series       = {LIPIcs},
  volume       = {289},
  pages        = {10:1--10:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2024.10},
  doi          = {10.4230/LIPICS.STACS.2024.10},
  timestamp    = {Mon, 11 Mar 2024 20:24:54 +0100},
  biburl       = {https://dblp.org/rec/conf/stacs/BeoharG0MFSW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}