Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D
No. 2 ;
pp. 285-295
Type of Manuscript:
Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Term Rewriting Systems
Keyword:
term rewriting system, tree automaton, recognizability, recognizability preserving property, layered transducing TRS, |
