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

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 = "International Workshop on Confluence : 7th International Workshop on Confluence July 7th 2018, Oxford, United Kingdom 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/",

}

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 -