[P1] _________________________ AMAST Links 01 03

Open Questions in Rewriting Theory

For the upcoming 6th International Conference on Rewriting Techniques and Applications (Kaiserslautern, April 5-7), there may be another attempt to collect open problems in term rewriting, string and graph rewriting, semantic matching and unification, and allied fields, as well as solutions and updates to the collections of problems in the previous two proceedings (back of LNCS 488 and 690).

Copies of those previous collections may be found on the WWW: respectively LNCS 488 and LNCS 690 .

Please send any contribution to me at

nachum@cs.uiuc.edu

Thank you

Nachum Dershowitz