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

Research output: Contribution to conferencePaperResearch

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

Workshop

Workshop7th International Workshop on Confluence
Number7
CountryUnited Kingdom
CityOxford
Period07/07/201807/07/2018
Internet address

Cite this

@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/",

}

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 conferencePaperResearch

TY - CONF

T1 - Confluence in Constraint Handling Rules

T2 - A retrospective overview. Extended abstract of an invited talk given at IWC 2018 7th International Workshop on Confluence, July 7th 2018, Oxford, United Kingdom

AU - Christiansen, Henning

AU - Kirkeby, Maja Hanne

PY - 2018

Y1 - 2018

M3 - Paper

SP - 1

EP - 9

ER -