スポンサーリンク
Faculty Of Information Science Japan Advanced Institute Of Science And Technology | 論文
- An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
- Checking Scheme for ABFT Systems Based on Modified PD Graph under an Error Generation/Propagation Model (Special Section of Papers Selected from ITC-CSCC '98)
- Persistence of Termination for Non-Overlapping Term Rewriting Systems
- Simplification Ordering for Higher-Order Rewrite Systems