%0 Conference Paper %1 conf/concur/HaaseP23 %A Haase, Christoph %A Piórkowski, Radoslaw %B CONCUR %D 2023 %E Pérez, Guillermo A. %E Raskin, Jean-François %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 13:1-13:17 %T Universal Quantification Makes Automatic Structures Hard to Decide. %U http://dblp.uni-trier.de/db/conf/concur/concur2023.html#HaaseP23 %V 279 %@ 978-3-95977-299-0

@inproceedings{conf/concur/HaaseP23, added-at = {2023-09-09T00:00:00.000+0200}, author = {Haase, Christoph and Piórkowski, Radoslaw}, biburl = {https://www.bibsonomy.org/bibtex/215e4a11176ff95a6ff9fd778a820045f/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2023}, editor = {Pérez, Guillermo A. and Raskin, Jean-François}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.13}, interhash = {ce94ef024c908502b8422dfc7f65adf7}, intrahash = {15e4a11176ff95a6ff9fd778a820045f}, isbn = {978-3-95977-299-0}, keywords = {dblp}, pages = {13:1-13:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:29.000+0200}, title = {Universal Quantification Makes Automatic Structures Hard to Decide.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2023.html#HaaseP23}, volume = 279, year = 2023 }