Author of the publication

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.

, and . Int. J. Approx. Reason., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Confluence and Convergence in Probabilistically Terminating Reduction Systems., and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 164-179. Springer, (2017)Confluence Modulo Equivalence in Constraint Handling Rules., and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 41-58. Springer, (2014)Confluence and convergence modulo equivalence in probabilistically terminating reduction systems., and . Int. J. Approx. Reason., (2019)Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems., and . PPDP, page 9:1-9:14. ACM, (2020)An Approach to Estimating Energy Consumption of Web-based IT Systems., , and . CERCIRAS, volume 3145 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Energy Complexity for Sorting Algorithms in Java., , , , and . CoRR, (2023)Confluence of CHR Revisited: Invariants and Modulo Equivalence., and . LOPSTR, volume 11408 of Lecture Notes in Computer Science, page 94-111. Springer, (2018)Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs., and . WFLP, volume 11285 of Lecture Notes in Computer Science, page 112-130. Springer, (2018)On Proving Confluence Modulo Equivalence for Constraint Handling Rules., and . CoRR, (2016)