Beskrivelse
Invited talk (with Maja H. Kirkeby): Confluence in Constraint Handling Rules: A retrospective overviewPeriode | 7 jul. 2018 |
---|---|
Begivenhedstype | Workshop |
Konferencenummer | 7 |
Placering | Oxford, Storbritannien |
Grad af anerkendelse | International |
Relateret indhold
-
Projekter
-
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Projekter: Projekt › Forskning
-
Publikationer