Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2007/04/01
Vol. J90-D
No. 4
pp. 978-989
Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches)
Category:
Keyword:
symply-typed term rewriting system,
termination,
strongly computable dependency pair method,
usable rule,
labeling,
|
