%0 Journal Article %1 journals/ipl/CarayolS16 %A Carayol, Arnaud %A Serre, Olivier %D 2016 %J Inf. Process. Lett. %K %N 10 %P 638-643 %T Marking shortest paths on pushdown graphs does not preserve MSO decidability. %U http://dblp.uni-trier.de/db/journals/ipl/ipl116.html#CarayolS16 %V 116

@article{journals/ipl/CarayolS16, added-at = {2023-12-14T16:33:25.000+0100}, author = {Carayol, Arnaud and Serre, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/2702ef5c778ca009544fed7ff9a23897c/admin}, ee = {http://dx.doi.org/10.1016/j.ipl.2016.04.015}, interhash = {f9b84703920b2478854e4080da787baf}, intrahash = {702ef5c778ca009544fed7ff9a23897c}, journal = {Inf. Process. Lett.}, keywords = {}, number = 10, pages = {638-643}, timestamp = {2023-12-14T16:33:25.000+0100}, title = {Marking shortest paths on pushdown graphs does not preserve MSO decidability.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl116.html#CarayolS16}, volume = 116, year = 2016 }