Links to the more complete pages about problems, conferences, surveys, researchers and general subjects on rewriting theory
Rewriting Home Page
realized by L. Vigneron and N. Dershowitz, - INRIA Lorraine, Nancy, France.
List of Researches on Rewriting
mantained by A. Middeldrop - Universitaet Innsbruck, Austria.
International School on Rewriting - ISR 2006
LORIA, Nancy, France. July 2006. See interesting tutorials on different aspects and applications of rewriting.
Interesting Conferences and Workshops
mantained by B. Gramlich - Technishce Universitaet Wien, Austria.
Open problems on rewriting
mantained by N. Dershowitz and R. Treinen.
Specification and Rewriting
home page at SRI Int. Comp. Sc. Laboratory - USA.
Useful Logics, Type theories, Rewriting systems and their Applications