Projects per year
Projects 2015 2018
- 1 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