%0 Conference Paper %1 conf/lics/KobayashiLG19 %A Kobayashi, Naoki %A Lago, Ugo Dal %A Grellois, Charles %B LICS %D 2019 %I IEEE %K dblp %P 1-14 %T On the Termination Problem for Probabilistic Higher-Order Recursive Programs. %U http://dblp.uni-trier.de/db/conf/lics/lics2019.html#KobayashiLG19 %@ 978-1-7281-3608-0

@inproceedings{conf/lics/KobayashiLG19, added-at = {2019-09-29T00:00:00.000+0200}, author = {Kobayashi, Naoki and Lago, Ugo Dal and Grellois, Charles}, biburl = {https://www.bibsonomy.org/bibtex/25ae5a4db071d0e168e51dc704abb8cc2/dblp}, booktitle = {LICS}, crossref = {conf/lics/2019}, ee = {https://doi.org/10.1109/LICS.2019.8785679}, interhash = {3ee9a2e15cdadfcc0456e7dba7483bc6}, intrahash = {5ae5a4db071d0e168e51dc704abb8cc2}, isbn = {978-1-7281-3608-0}, keywords = {dblp}, pages = {1-14}, publisher = {IEEE}, timestamp = {2019-10-17T15:57:35.000+0200}, title = {On the Termination Problem for Probabilistic Higher-Order Recursive Programs.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#KobayashiLG19}, year = 2019 }