Supported Sets - A New Foundation for Nominal Sets and Automata (bibtex)

Reference:

Thorsten Wißmann: Supported Sets - A New Foundation for Nominal Sets and Automata, In Bartek Klin, Elaine Pimentel, eds.: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland, LIPIcs, vol. 252, pp. 38:1–38:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{DBLP:conf/csl/Wissmann23,
  author    = {Thorsten Wi{\ss}mann},
  editor    = {Bartek Klin and
               Elaine Pimentel},
  title     = {Supported Sets - {A} New Foundation for Nominal Sets and Automata},
  booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
               February 13-16, 2023, Warsaw, Poland},
  series    = {LIPIcs},
  volume    = {252},
  pages     = {38:1--38:19},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2023},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2023.38},
  doi       = {10.4230/LIPIcs.CSL.2023.38},
  timestamp = {Thu, 02 Feb 2023 16:55:54 +0100},
  biburl    = {https://dblp.org/rec/conf/csl/Wissmann23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}