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
-
Projekter
-
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Projekter: Projekt › Forskning
-
Publikationer