Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)
書誌事項
- タイトル
- Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)
- 著者
- Haruhiko Sato, Masahito Kurihara
収録刊行物
-
- IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定)
-
IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定) 2010