![]() | ![]() |
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] |