23 citations · 74 across the 18 of their papers we have counts for
1 paper · 2 filters
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
We study the termination problem for probabilistic term rewrite systems. We prove that the interpretation method is sound and complete for a strengthening of positive almost sure t…