Maja H. Kirkeby

Identifiers

No identifiers captured yet.

Papers (4)

1. Confluence of CHR revisited: invariants and modulo equivalence cs.PL · 2018 · author #2
2. Confluence and Convergence in Probabilistically Terminating Reduction Systems cs.PL · 2017 · author #1
3. On Proving Confluence Modulo Equivalence for Constraint Handling Rules cs.LO · 2016 · author #2
4. Probabilistic Resource Analysis by Program Transformation cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Henning Christiansen 3 shared papers
• Mads Rosendahl 1 shared papers