Eddy Bevers

	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

Coauthor Index

1	Dirk Dussart	[4]
2	Johan Lewi	[1] [3]
3	Anne De Niel	[2]
4	Karel De Vlaminck	[2] [4]