The Rewriting Home Page is maintained by
Nachum Dershowitz
, Professor
Department of Computer Science
School of Mathematical Sciences
Tel Aviv University
Ramat Aviv, Tel Aviv 69978
Israel
E-mail:
nachumd @ cs.tau.ac.il
and
Laurent Vigneron
, Professor
LORIA - Lorraine University
Campus Scientifique, B.P. 239
54506 Vandoeuvre-lès-Nancy Cedex
France
E-mail:
laurent.vigneron @ loria.fr
If you wish to contribute an entry to any topic of the Rewriting Home Page, please send us an e-mail.