Photo of Maja Hanne Kirkeby

Maja Hanne Kirkeby

PhD

 https://orcid.org/0000-0003-0033-2438

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20142018
If you made any changes in Pure these will be visible here soon.

Projects 2015 2018

Filter
Active
Active

Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H.

Det Frie Forskningsråd | Natur og Univers

01/11/2015 → 30/09/2018

Project: Research