%0 Conference Paper %1 conf/soda/GollerP23 %A Göller, Stefan %A Parys, Pawel %B SODA %D 2023 %E Bansal, Nikhil %E Nagarajan, Viswanath %I SIAM %K dblp %P 2777-2815 %T Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete. %U http://dblp.uni-trier.de/db/conf/soda/soda2023.html#GollerP23 %@ 978-1-61197-755-4

@inproceedings{conf/soda/GollerP23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Göller, Stefan and Parys, Pawel}, biburl = {https://www.bibsonomy.org/bibtex/2c8049c27321fdd2b998900fc07a29568/dblp}, booktitle = {SODA}, crossref = {conf/soda/2023}, editor = {Bansal, Nikhil and Nagarajan, Viswanath}, ee = {https://doi.org/10.1137/1.9781611977554.ch105}, interhash = {8a4635274dc0d5c3714e51f8c5a415b2}, intrahash = {c8049c27321fdd2b998900fc07a29568}, isbn = {978-1-61197-755-4}, keywords = {dblp}, pages = {2777-2815}, publisher = {SIAM}, timestamp = {2024-04-09T11:21:33.000+0200}, title = {Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete.}, url = {http://dblp.uni-trier.de/db/conf/soda/soda2023.html#GollerP23}, year = 2023 }