7th International Workshop on Confluence

Christiansen, H. (Speaker)

Activity: Participating in or organising an event › Participation in workshop, seminar, course

Period	7 Jul 2018
Event type	Workshop
Conference number	7
Location	Oxford, United KingdomShow on map
Degree of Recognition	International

Related content

Projects
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Project: Research

Research output
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 conference › Paper › Research