%0 Conference Paper %1 conf/concur/0031SV23 %A Li, Yong %A Schewe, Sven %A Vardi, Moshe Y. %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 37:1-37:17 %T Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. %U http://dblp.uni-trier.de/db/conf/concur/concur2023.html#0031SV23 %V 279 %@ 978-3-95977-299-0

@inproceedings{conf/concur/0031SV23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Li, Yong and Schewe, Sven and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/20f40f1c6ebf36cc3960c6a88e5f1a334/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.37}, interhash = {877c5059b291fe4a350538fd8f220b9d}, intrahash = {0f40f1c6ebf36cc3960c6a88e5f1a334}, isbn = {978-3-95977-299-0}, keywords = {dblp}, pages = {37:1-37:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-05-13T09:15:22.000+0200}, title = {Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2023.html#0031SV23}, volume = 279, year = 2023 }