Rewriting and Tree Automata

Max Dauchet. Rewriting and Tree Automata. In Hubert Comon, Jean-Pierre Jouannaud, editors, Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course. Volume 909 of Lecture Notes in Computer Science, pages 95-113, Springer, 1993.

Abstract

Abstract is missing.