research
∙
08/23/2018
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report
Constraint Handling Rules (CHR) is a declarative rule-based formalism an...
share
research
∙
02/09/2018
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Confluence denotes the property of a state transition system that states...
research
∙
05/14/2014
