Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby
Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen Computer Science, Roskilde University, Denmark LOPSTR 2017 Namur, Belgium Maja H. Kirkeby, Henning Christiansen
524 views • 35 slides