A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Stefan Dollase, Jrgen Giesl

Browse the full FLOPS paper archive.