Layered Transducing Term Rewriting System and Its Recognizability Preserving Property

Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji. Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. 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 98-113, Springer, 2002. [doi]

Abstract

Abstract is missing.