スポンサーリンク
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)