1995 | ||
---|---|---|
4 | Dirk Dussart, Eddy Bevers, Karel De Vlaminck: Polyvariant Constructor Specialisation. PEPM 1995: 54-65 | |
1993 | ||
3 | Eddy Bevers, Johan Lewi: Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. Acta Inf. 30(6): 537-568 (1993) | |
1991 | ||
2 | Anne De Niel, Eddy Bevers, Karel De Vlaminck: Program Bifurcation for a Polymorphic Typed Functional Language. PEPM 1991: 142-153 | |
1990 | ||
1 | Eddy Bevers, Johan Lewi: Proof by Consistency in Conditional Equational Theories. CTRS 1990: 194-205 |
1 | Dirk Dussart | [4] |
2 | Johan Lewi | [1] [3] |
3 | Anne De Niel | [2] |
4 | Karel De Vlaminck | [2] [4] |