%0 Journal Article %1 journals/dmtcs/EngelfrietV20 %A Engelfriet, Joost %A Vogler, Heiko %D 2020 %J Discret. Math. Theor. Comput. Sci. %K dblp %N 4 %T A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. %U http://dblp.uni-trier.de/db/journals/dmtcs/dmtcs22.html#EngelfrietV20 %V 22

@article{journals/dmtcs/EngelfrietV20, added-at = {2023-01-24T00:00:00.000+0100}, author = {Engelfriet, Joost and Vogler, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/27168f93d3859f2acf5c000fdd1fc56b5/dblp}, ee = {https://doi.org/10.23638/DMTCS-22-4-3}, interhash = {2fab11f3e937d4049c1799af052e3d8d}, intrahash = {7168f93d3859f2acf5c000fdd1fc56b5}, journal = {Discret. Math. Theor. Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-08T14:54:44.000+0200}, title = {A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage.}, url = {http://dblp.uni-trier.de/db/journals/dmtcs/dmtcs22.html#EngelfrietV20}, volume = 22, year = 2020 }