| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 5 |      | Hariolf Betz, Frank Raiser, Thom W. Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules CoRR abs/1007.3829: (2010) |
| 4 | | Hariolf Betz, Thom W. Frühwirth: Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction CoRR abs/1009.2900: (2010) |
| 3 | | Hariolf Betz, Frank Raiser, Thom W. Frühwirth: A complete and terminating execution model for Constraint Handling Rules. TPLP 10(4-6): 597-610 (2010) |
| 2008 | ||
| 2 | | Ingi Sobhi, Slim Abdennadher, Hariolf Betz: Constructing Rule-Based Solvers for Intentionally-Defined Constraints. Constraint Handling Rules 2008: 70-84 |
| 2005 | ||
| 1 | | Hariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. CP 2005: 137-151 |
| 1 | Slim Abdennadher | [2] |
| 2 | Thom W. Frühwirth | [1] [3] [4] [5] |
| 3 | Frank Raiser | [3] [5] |
| 4 | Ingi Sobhi | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page