| 1997 |
|---|
| 9 | EE | Massimo Fabris:
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program.
AADEBUG 1997: 103-122 |
| 8 | | Germán Puebla,
Marco Comini,
Wlodzimierz Drabent,
Mireille Ducassé,
Massimo Fabris,
Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
ILPS 1997: 417-418 |
| 1994 |
|---|
| 7 | | Annalisa Bossi,
Massimo Fabris,
Maria Chiara Meo:
A Bottom-up Semantics for Constructive Negation.
ICLP 1994: 520-534 |
| 6 | | Annalisa Bossi,
Nicoletta Cocco,
Massimo Fabris:
Norms on Terms and their use in Proving Universal Termination of a Logic Program.
Theor. Comput. Sci. 124(2): 297-328 (1994) |
| 1993 |
|---|
| 5 | | Annalisa Bossi,
Michele Bugliesi,
Massimo Fabris:
A New Fixpoint Semantics for Prolog.
GULP 1993: 617-632 |
| 4 | | Annalisa Bossi,
Michele Bugliesi,
Massimo Fabris:
A New Fixpoint Semantics for Prolog.
ICLP 1993: 374-389 |
| 3 | | Stefaan Decorte,
Danny De Schreye,
Massimo Fabris:
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis.
ILPS 1993: 420-436 |
| 1992 |
|---|
| 2 | | Annalisa Bossi,
Nicoletta Cocco,
Massimo Fabris:
Typed Norms.
ESOP 1992: 73-92 |
| 1991 |
|---|
| 1 | | Annalisa Bossi,
Nicoletta Cocco,
Massimo Fabris:
Proving Termination of Logic Programs by Exploiting Term Properties.
TAPSOFT, Vol.2 1991: 153-180 |
