Confluence and convergence in probabilistically terminating reduction systems

DOI10.1007/978-3-319-94460-9_10MaRDI QIDQ1671150zbMATH OpenOpenAlexWikidataFDO

Authors Maja H. Kirkeby, Henning Christiansen

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)

Recommendations

• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
• Term Rewriting and Applications
• On probabilistic term rewriting
• Confluence in probabilistic rewriting
• Confluence Reduction for Probabilistic Systems

Cited in

(7)

• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
• Confluence in probabilistic rewriting
• Confluence Reduction for Probabilistic Systems
• The probability of non-confluent systems
• Probabilistic rewriting: normalization, termination, and unique normal forms
• A distribution semantics for probabilistic term rewriting
• A rewriting theory for quantum -calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1671150)