Eddy Bevers

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Dirk Dussart, Eddy Bevers, Karel De Vlaminck
Polyvariant Constructor Specialisation. PEPM (1995)
Eddy Bevers, Johan Lewi
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. Acta Informatica 30 (6) (1993)
Anne De Niel, Eddy Bevers, Karel De Vlaminck
Program Bifurcation for a Polymorphic Typed Functional Language. PEPM (1991)
Eddy Bevers, Johan Lewi
Proof by Consistency in Conditional Equational Theories. CTRS (1990)