Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

Christiansen, Henning (Anden)
Kirkeby, Maja Hanne (Project participant)

Project: Research

1 Journal article

1 results

2017

On proving confluence modulo equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H., 2017, In: Formal Aspects of Computing. 29, 1, p. 57-95 39 p.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

7 Link opens in a new tab Citations (Scopus)