Confluence and Convergence in Probabilistically Terminating Reduction Systems.

Maja H. Kirkeby, Henning Christiansen

Browse the full LOPSTR paper archive.