Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

Project: Research

StatusActive
Effective start/end date01/11/201530/09/2018

Funding

  • Det Frie Forskningsråd | Natur og Univers: €311,134.00