Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Leon Valentin Spitzer, Jrgen Giesl

Browse the full PPDP paper archive.