- CSB - MetaPress - Google - Bing - Yahoo
 | 1994 | |
|---|---|---|
| 4 |      | Marianne Haberstrau: ECOLOG: an Environment for COnstraint LOGics. CCL 1994: 237-252 |
| 3 | | Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud: Syntacticness, Cycle-Syntacticness, and Shallow Theories Inf. Comput. 111(1): 154-191 (1994) |
| 1992 | ||
| 2 | | Marianne Haberstrau: ECOLOG: un Environnement pour la programmation en LOgique COntrainte. JFPL 1992: 69-86 |
| 1 | | Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud: Decidable Problems in Shallow Equational Theories (Extended Abstract) LICS 1992: 255-265 |
| 1 | Hubert Comon-Lundh (Hubert Comon) | [1] [3] |
| 2 | Jean-Pierre Jouannaud | [1] [3] |