| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 3 |      | Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995) |
| 1994 | ||
| 2 | | Andrea Asperti, Giovanna M. Dore: Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. LFCS 1994: 34-46 |
| 1993 | ||
| 1 |  | Giovanna M. Dore, Philippe Codognet: A Prototype Compiler for Prolog with Boolean Constraints. GULP 1993: 157-172 |
| 1 | Andrea Asperti | [2] |
| 2 | Philippe Codognet | [1] |
| 3 | Maurizio Gabbrielli | [3] |
| 4 | Giorgio Levi | [3] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page