output
20032012
most citedThe GERDA experiment for the search of 0νββ decay in ^{76}Ge

234 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2006

A compositional Semantics for CHR

Maurizio Gabbrielli, Maria Chiara Meo

Constraint Handling Rules (CHR) are a committed-choice declarative language which has been designed for writing constraint solvers. A CHR program consists of multi-headed guarded r…