 | 2007 |
|---|
| 4 |       | Marc Meister,
Khalil Djelloul,
Jacques Robin:
A Unified Semantics for Constraint Handling Rules in Transaction Logic.
LPNMR 2007: 201-213 |
| 2006 |
|---|
| 3 | | Marc Meister,
Khalil Djelloul,
Thom W. Frühwirth:
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.
CSCLP 2006: 139-153 |
| 2 | | Marc Meister:
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR.
WLP 2006: 172-181 |
| 2005 |
|---|
| 1 | | Armin Wolf,
Thom W. Frühwirth,
Marc Meister:
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005
Universität Ulm, Germany 2005 |
