2 citations · 3 across the 17 of their papers we have counts for
1 paper · 1 filter
Hariolf Betz, Thom W. Frühwirth
Constraint Handling Rules (CHR) is a declarative committed-choice programming language with a strong relationship to linear logic. Its generalization CHR with Disjunction (CHRv) is…