Alternating Nominal Automata with Name Allocation (bibtex)

by Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder and Henning Urbat

Reference:

Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder and Henning Urbat: Alternating Nominal Automata with Name Allocation, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 57–70, IEEE, 2025.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/FrankHMSU25,
  author       = {Florian Frank and
                  Daniel Hausmann and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Henning Urbat},
  title        = {Alternating Nominal Automata with Name Allocation},
  booktitle    = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2025, Singapore, June 23-26, 2025},
  pages        = {57--70},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/LICS65433.2025.00012},
  doi          = {10.1109/LICS65433.2025.00012},
  timestamp    = {Tue, 21 Oct 2025 20:15:58 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/FrankHMSU25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}