From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Florian Frohn, Jrgen Giesl

Browse the full FOSSACS paper archive.