Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D
No. 6 ;
pp. 1410-1419
Type of Manuscript:
Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods Keyword: tree transducers, query rewriting, query preservation, |