%0 Conference Paper %1 conf/lics/BenediktH23 %A Benedikt, Michael %A Hrushovski, Ehud %B LICS %D 2023 %I IEEE %K dblp %P 1-13 %T Embedded Finite Models beyond Restricted Quantifier Collapse. %U http://dblp.uni-trier.de/db/conf/lics/lics2023.html#BenediktH23 %@ 979-8-3503-3587-3

@inproceedings{conf/lics/BenediktH23, added-at = {2024-05-29T00:00:00.000+0200}, author = {Benedikt, Michael and Hrushovski, Ehud}, biburl = {https://www.bibsonomy.org/bibtex/21ad51e09ce338a4f4571143d26296f1a/dblp}, booktitle = {LICS}, crossref = {conf/lics/2023}, ee = {https://doi.org/10.1109/LICS56636.2023.10175804}, interhash = {cfd0dd1dfaee41b992baac39d21d53f0}, intrahash = {1ad51e09ce338a4f4571143d26296f1a}, isbn = {979-8-3503-3587-3}, keywords = {dblp}, pages = {1-13}, publisher = {IEEE}, timestamp = {2024-06-03T07:16:45.000+0200}, title = {Embedded Finite Models beyond Restricted Quantifier Collapse.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2023.html#BenediktH23}, year = 2023 }