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

Henning Christiansen, Maja Hanne Kirkeby

Research output: Contribution to conference › Paper › Research

Original languageEnglish
Publication date2018
Publication statusPublished - 2018
Event7th International Workshop on Confluence: Part of FLoC 2018 - Oxford, United Kingdom
Duration: 7 Jul 2018 → 7 Jul 2018
Conference number: 7
http://cl-informatik.uibk.ac.at/events/iwc-2018/

Workshop

Workshop7th International Workshop on Confluence
Number7
Country/TerritoryUnited Kingdom
CityOxford
Period07/07/2018 → 07/07/2018
Internet address

Link to document

  • 1 Participation in workshop, seminar, course

Cite this