23 citations · 74 across the 18 of their papers we have counts for
1 paper · 1 filter
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…