modeq
  • About us
  • Description
  • Publications

Tag: Probabilistic

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Maja H. Kirkeby and Henning Christansen, “Confluence and Convergence in Probabilistically Terminating Reduction Systems,” in LOPSTR 2017, LNCS vol. 10855.

Posted: 2018-02-06
Read Me Leave comment

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

Categories

  • Follow the Project
  • Publication
  • Uncategorized
  • About us
  • Description
  • Publications
modeq 2025
Vega Wordpress Theme by LyraThemes