7th International Workshop on Confluence

Christiansen, H. (Taler)

Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

Beskrivelse

Invited talk (with Maja H. Kirkeby): Confluence in Constraint Handling Rules: A retrospective overview
Periode7 jul. 2018
BegivenhedstypeWorkshop
Konferencenummer7
PlaceringOxford, Storbritannien
Grad af anerkendelseInternational

Relateret indhold

Publikationer

Confluence in Constraint Handling Rules: A retrospective overview. Extended abstract of an invited talk given at IWC 2018 7th International Workshop on Confluence, July 7th 2018, Oxford, United Kingdom

Publikation: Konferencebidrag › Paper › Forskning

Projekter

Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

Projekter: Projekt › Forskning