Editor's Duties
I have served as an editor for the following journals:
- Theoretical Computer Science , since 1992
TCS Homepage
- Journal of Symbolic Computation , since 1988
JSC Homepage
- Journal of Logic Programming , since 1989
- RAIRO Informatique Theorique , since 1983