APA (7th ed.) Citation

Kobayashi, N., Lago, U. D., & Grellois, C. (2020). On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Logical methods in computer science, 16, Issue 4, . https://doi.org/10.23638/LMCS-16(4:2)2020

Chicago Style (17th ed.) Citation

Kobayashi, Naoki, Ugo Dal Lago, and Charles Grellois. "On the Termination Problem for Probabilistic Higher-Order Recursive Programs." Logical Methods in Computer Science 16, Issue 4 (2020). https://doi.org/10.23638/LMCS-16(4:2)2020.

MLA (9th ed.) Citation

Kobayashi, Naoki, et al. "On the Termination Problem for Probabilistic Higher-Order Recursive Programs." Logical Methods in Computer Science, vol. 16, Issue 4, 2020, https://doi.org/10.23638/LMCS-16(4:2)2020.