default search action

combined dblp search
author search
venue search
publication search

ask others

Eddy Bevers

Eddi Bevers

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1995
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/DussartBV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/DussartBV95
Dirk Dussart, Eddy Bevers, Karel De Vlaminck:
Polyvariant Constructor Specialisation. PEPM 1995: 54-65
1993
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BeversL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BeversL93
Eddy Bevers, Johan Lewi:
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. Acta Informatica 30(6): 537-568 (1993)
1991
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/NielBV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/NielBV91
Anne De Niel, Eddy Bevers, Karel De Vlaminck:
Program Bifurcation for a Polymorphic Typed Functional Language. PEPM 1991: 142-153
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sas/NielBV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/NielBV91
Anne De Niel, Eddi Bevers, Karel De Vlaminck:
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. JTASPEFT/WSA 1991: 90-97
1990
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ctrs/BeversL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctrs/BeversL90
Eddy Bevers, Johan Lewi:
Proof by Consistency in Conditional Equational Theories. CTRS 1990: 194-205

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/HorebeekLBDP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/HorebeekLBDP88
Ivo Van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck:
An Exception Handling Method for Constructive Algebraic Specifications. Softw. Pract. Exp. 18(5): 443-458 (1988)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.