PARK Choon-Sik | Faculty of Information Science, Japan Advanced Institute of Science and Technology
スポンサーリンク
概要
- PARK Choon-sikの詳細を見る
- 同名の論文著者
- Faculty of Information Science, Japan Advanced Institute of Science and Technologyの論文著者
Faculty of Information Science, Japan Advanced Institute of Science and Technology | 論文
- An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
- Simplification Ordering for Higher-Order Rewrite Systems
- Index Reduction of Overlapping Strongly Sequential Systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)