BibTeX record conf/lpar/ZalewskiH24

download as .bib file

@inproceedings{DBLP:conf/lpar/ZalewskiH24,
  author       = {Joseph Zalewski and
                  Pascal Hitzler},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Marijn Heule and
                  Andrei Voronkov},
  title        = {A Case for Extensional Non-Wellfounded Metamodeling},
  booktitle    = {{LPAR} 2024 Complementary Volume, Port Louis, Mauritius, May 26-31,
                  2024},
  series       = {Kalpa Publications in Computing},
  volume       = {18},
  pages        = {163--178},
  publisher    = {EasyChair},
  year         = {2024},
  url          = {https://doi.org/10.29007/bpwd},
  doi          = {10.29007/BPWD},
  timestamp    = {Fri, 12 Jul 2024 15:29:30 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/ZalewskiH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.