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

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 language	English
Publication date	2018
Publication status	Published - 2018
Event	7th 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

Workshop	7th International Workshop on Confluence
Number	7
Country	United Kingdom
City	Oxford
Period	07/07/2018 → 07/07/2018
Internet address	http://cl-informatik.uibk.ac.at/events/iwc-2018/

Link to document

http://cl-informatik.uibk.ac.at/events/iwc-2018/iwc2018.pdfLicence: Unspecified

1 Participation in workshop, seminar, course

7th International Workshop on Confluence
Henning Christiansen (Speaker)
7 Jul 2018
Activity: Participating in or organising an event › Participation in workshop, seminar, course

Cite this

Christiansen, H., & Kirkeby, M. H. (2018). 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. 1-9. Paper presented at 7th International Workshop on Confluence, Oxford, United Kingdom. http://cl-informatik.uibk.ac.at/events/iwc-2018/iwc2018.pdf

@conference{ab351978bcf743ea90ab56956a58b809,

title = "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",

author = "Henning Christiansen and Kirkeby, {Maja Hanne}",

year = "2018",

language = "English",

pages = "1--9",

note = "7th International Workshop on Confluence : Part of FLoC 2018, IWC 2018 ; Conference date: 07-07-2018 Through 07-07-2018",

url = "http://cl-informatik.uibk.ac.at/events/iwc-2018/",

}

Christiansen, H & Kirkeby, MH 2018, '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', Paper presented at 7th International Workshop on Confluence, Oxford, United Kingdom, 07/07/2018 - 07/07/2018 pp. 1-9. <http://cl-informatik.uibk.ac.at/events/iwc-2018/iwc2018.pdf>

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. / Christiansen, Henning ; Kirkeby, Maja Hanne.

2018. 1-9 Paper presented at 7th International Workshop on Confluence, Oxford, United Kingdom.

Research output: Contribution to conference › Paper › Research