Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl. A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. In Jeremy Gibbons, Dale Miller 0001, editors, Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings. Volume 14659 of Lecture Notes in Computer Science, pages 62-80, Springer, 2024. [doi]
Abstract is missing.