スポンサーリンク
Institute of Systems and Information Engineering, Hokkaido University | 論文
- Completion for Multiple Reduction Orderings(Theory of Rewriting Systems and Its Applications)
- Analysis of Completeness of Laboratory Assignment Algorithm by Rewrite Systems Theory(Theory of Rewriting Systems and Its Applications)