BibTeX record conf/lpar/BhayatKKS23

download as .bib file

@inproceedings{DBLP:conf/lpar/BhayatKKS23,
  author       = {Ahmed Bhayat and
                  Konstantin Korovin and
                  Laura Kov{\'{a}}cs and
                  Johannes Schoisswohl},
  editor       = {Ruzica Piskac and
                  Andrei Voronkov},
  title        = {Refining Unification with Abstraction},
  booktitle    = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
                  for Programming, Artificial Intelligence and Reasoning, Manizales,
                  Colombia, 4-9th June 2023},
  series       = {EPiC Series in Computing},
  volume       = {94},
  pages        = {36--47},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/h65j},
  doi          = {10.29007/H65J},
  timestamp    = {Tue, 07 May 2024 20:04:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BhayatKKS23.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.