Confluence and convergence in probabilistically terminating reduction systems

DOI10.1007/978-3-319-94460-9_10OpenAlexW2754987363WikidataQ125525915 ScholiaQ125525915MaRDI QIDQ1671150

Henning Christiansen, Maja H. Kirkeby

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1709.05123

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems ⋮ Unnamed Item

This page was built for publication: Confluence and convergence in probabilistically terminating reduction systems