Tag: almost-sure termination

Recent Posts

• Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
• Confluence and Convergence Modulo Equivalence in Probabilistically Terminating Reduction Systems
• Confluence in Constraint Handling Rules (invited paper)
• Confluence of CHR revisited: invariants and modulo equivalence
• Confluence and Convergence in Probabilistically Terminating Reduction Systems