%0 Conference Paper %1 conf/icalp/ExibardF022 %A Exibard, Léo %A Filiot, Emmanuel %A Khalimov, Ayrat %B ICALP %D 2022 %E Bojanczyk, Mikolaj %E Merelli, Emanuela %E Woodruff, David P. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 122:1-122:19 %T A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2022.html#ExibardF022 %V 229 %@ 978-3-95977-235-8

@inproceedings{conf/icalp/ExibardF022, added-at = {2022-06-28T00:00:00.000+0200}, author = {Exibard, Léo and Filiot, Emmanuel and Khalimov, Ayrat}, biburl = {https://www.bibsonomy.org/bibtex/2d32cfc4f58a515dfe889c1ebdde99e00/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2022}, editor = {Bojanczyk, Mikolaj and Merelli, Emanuela and Woodruff, David P.}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2022.122}, interhash = {948ed90ae56244b9c524d3595eda7233}, intrahash = {d32cfc4f58a515dfe889c1ebdde99e00}, isbn = {978-3-95977-235-8}, keywords = {dblp}, pages = {122:1-122:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:27:21.000+0200}, title = {A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2022.html#ExibardF022}, volume = 229, year = 2022 }