by Jan Dreier, Jamie Tucker-Foltz
Reference:
Pseudorandom Finite ModelsJan Dreier, Jamie Tucker-FoltzLICS, pages 1–13, 2023.
Bibtex Entry:
@inproceedings{DBLP:conf/lics/DreierT23,
author = {Jan Dreier and
Jamie Tucker{-}Foltz},
title = {Pseudorandom Finite Models},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {10.1109/LICS56636.2023.10175694">https://doi.org/10.1109/LICS56636.2023.10175694},
doi = {10.1109/LICS56636.2023.10175694},
timestamp = {Thu, 20 Jul 2023 11:32:59 +0200},
biburl = {https://dblp.org/rec/conf/lics/DreierT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}