Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
Date:
Conference Talk at 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025), Rende, Italy
