%0 Conference Paper %1 conf/stacs/ExibardFK21 %A Exibard, Léo %A Filiot, Emmanuel %A Khalimov, Ayrat %B STACS %D 2021 %E Bläser, Markus %E Monmege, Benjamin %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 28:1-28:16 %T Church Synthesis on Register Automata over Linearly Ordered Data Domains. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#ExibardFK21 %V 187 %@ 978-3-95977-180-1

@inproceedings{conf/stacs/ExibardFK21, added-at = {2021-04-19T00:00:00.000+0200}, author = {Exibard, Léo and Filiot, Emmanuel and Khalimov, Ayrat}, biburl = {https://www.bibsonomy.org/bibtex/2c70b160bcc5e8dfb40554ddb657e93ae/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2021}, editor = {Bläser, Markus and Monmege, Benjamin}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2021.28}, interhash = {f41bc3152f35c5fae46f17246b532765}, intrahash = {c70b160bcc5e8dfb40554ddb657e93ae}, isbn = {978-3-95977-180-1}, keywords = {dblp}, pages = {28:1-28:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:21:47.000+0200}, title = {Church Synthesis on Register Automata over Linearly Ordered Data Domains.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#ExibardFK21}, volume = 187, year = 2021 }