Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)
Bibliographic Information
- Title
- Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)
- Author
- Haruhiko Sato, Masahito Kurihara
Journal
-
- IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定)
-
IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定) 2010
- Tweet
Details 詳細情報について
-
- CRID
- 1010282257446062592
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN