%0 Journal Article %1 journals/pacmpl/LiY18 %A Li, Yangjia %A Ying, Mingsheng %D 2018 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 35:1-35:29 %T Algorithmic analysis of termination problems for quantum programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#LiY18 %V 2

@article{journals/pacmpl/LiY18, added-at = {2021-02-17T00:00:00.000+0100}, author = {Li, Yangjia and Ying, Mingsheng}, biburl = {https://www.bibsonomy.org/bibtex/215b3fdece5fe1d2767003aac88c6a03f/dblp}, ee = {https://doi.org/10.1145/3158123}, interhash = {f4341c11b0821a7e390c221c27b06c90}, intrahash = {15b3fdece5fe1d2767003aac88c6a03f}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {35:1-35:29}, timestamp = {2024-04-08T09:54:06.000+0200}, title = {Algorithmic analysis of termination problems for quantum programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#LiY18}, volume = 2, year = 2018 }