Publications tagged "Termination"
2019
-
M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Science of Computer Programming 185:102338, 2019. Elsevier. © Creative Commons License - ND.
-
M. Avanzini and A. Ghyselen and U. Dal Lago. “Type-Based Complexity Analysis of Probabilistic Functional Programs”. (Preprint). Proceedings of the 34th Logics in Computer Science Symposium, pages 1–13, 2019. IEEE.
2018
-
M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Proceedings of the 14th International Symposium on Functional and Logic Programming, volume 10818 of Lecture Notes in Computer Science, pages 132–148, 2018. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.