 | 2011 |
|---|
| 10 |       | Rémy Haemmerlé,
Pedro López-García,
Manuel V. Hermenegildo:
CLP projection for constraint handling rules.
PPDP 2011: 137-148 |
| 9 | | Manuel V. Hermenegildo,
Francisco Bueno,
Manuel Carro,
Pedro López-García,
Rémy Haemmerlé,
Edison Mera,
José F. Morales,
Germán Puebla:
An Overview of the Ciao System.
RuleML Europe 2011: 2 |
| 8 | | Rémy Haemmerlé:
Observational equivalences for linear logic CC languages
CoRR abs/1108.0329: (2011) |
| 7 | | Rémy Haemmerlé:
(Co-)Inductive semantics for Constraint Handling Rules
CoRR abs/1108.0330: (2011) |
| 6 | | Rémy Haemmerlé:
Observational equivalences for linear logic concurrent constraint languages.
TPLP 11(4-5): 469-485 (2011) |
| 5 | | Rémy Haemmerlé:
(Co-)Inductive semantics for Constraint Handling Rules.
TPLP 11(4-5): 593-609 (2011) |
| 2007 |
|---|
| 4 | | Rémy Haemmerlé,
François Fages,
Sylvain Soliman:
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
FSTTCS 2007: 544-556 |
| 3 | | Rémy Haemmerlé,
François Fages:
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
RTA 2007: 214-228 |
| 2006 |
|---|
| 2 | | Rémy Haemmerlé,
François Fages:
Modules for Prolog Revisited.
ICLP 2006: 41-55 |
| 2005 |
|---|
| 1 | | Rémy Haemmerlé:
SiLCC Is Linear Concurrent Constraint Programming.
ICLP 2005: 448-449 |
Data released under the ODC-BY 1.0 license — See also our legal information page