Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov, editors, LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024. Volume 18 of Kalpa Publications in Computing, EasyChair, 2024. [doi]
Conference: lpar2024
@proceedings{lpar-2024c,
title = {LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024},
year = {2024},
url = {https://www.easychair.org/publications/volume/LPAR_2024C},
researchr = {https://researchr.org/publication/lpar-2024c},
cites = {0},
citedby = {0},
booktitle = {LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024},
conference = {lpar},
editor = {Nikolaj S. Bjørner and Marijn Heule and Andrei Voronkov},
volume = {18},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}