1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…