%0 Journal Article %1 journals/pacmpl/KjelstromP22 %A Kjelstrøm, Adam Husted %A Pavlogiannis, Andreas %D 2022 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-26 %T The decidability and complexity of interleaved bidirected Dyck reachability. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#KjelstromP22 %V 6

@article{journals/pacmpl/KjelstromP22, added-at = {2022-06-23T00:00:00.000+0200}, author = {Kjelstrøm, Adam Husted and Pavlogiannis, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2f8c9e3431f135b9d704c395050254a65/dblp}, ee = {https://doi.org/10.1145/3498673}, interhash = {d8d843bf9e611c426670f7c980135db6}, intrahash = {f8c9e3431f135b9d704c395050254a65}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-26}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {The decidability and complexity of interleaved bidirected Dyck reachability.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#KjelstromP22}, volume = 6, year = 2022 }