Author of the publication

On proving confluence modulo equivalence for Constraint Handling Rules.

, and . Formal Aspects Comput., 29 (1): 57-95 (2017)

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 Modulo Equivalence in Constraint Handling Rules., and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 41-58. Springer, (2014)Energy Consumption and Performance of Heapsort in Hardware and Software., , , , , , , and . CoRR, (2022)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 Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion., , and . VPT@ETAPS, volume 341 of EPTCS, page 33-41. (2021)Confluence and Convergence in Probabilistically Terminating Reduction Systems., and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 164-179. Springer, (2017)On Proving Confluence Modulo Equivalence for Constraint Handling Rules., and . CoRR, (2016)Towards Comparing Performance of Algorithms in Hardware and Software., and . CoRR, (2022)On proving confluence modulo equivalence for Constraint Handling Rules., and . Formal Aspects Comput., 29 (1): 57-95 (2017)Energy Complexity for Sorting Algorithms in Java., , , , and . CoRR, (2023)