Regular Sets of Descendants by Some Rewrite Strategies

Pierre Réty, Julie Vuotto. Regular Sets of Descendants by Some Rewrite Strategies. In Sophie Tison, editor, Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Volume 2378 of Lecture Notes in Computer Science, pages 129-143, Springer, 2002. [doi]

Abstract

Abstract is missing.