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

Periode	7 jul. 2018
Begivenhedstype	Workshop
Konferencenummer	7
Placering	Oxford, Storbritannien
Grad af anerkendelse	International

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