research
∙
09/01/2023
Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Recently, we adapted the well-known dependency pair (DP) framework to a ...
research
∙
07/19/2023
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version)
Dependency pairs are one of the most powerful techniques to analyze term...
research
∙
05/19/2023