Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.

Jan-Christoph Kassing, Jrgen Giesl

Browse the full CADE paper archive.