Analysis of Completeness of Laboratory Assignment Algorithm by Rewrite Systems Theory(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Ohuchi Azuma
Institute Of Systems And Information Engineering Faculty Of Engineering Hokkaido University
-
Kurihara Masahito
Institute of Systems and Information Engineering, Hokkaido University
-
NOTO Masato
Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University
-
Noto Masato
Institute Of Systems And Information Engineering Faculty Of Engineering Hokkaido University
-
Kurihara Masahito
Institute Of Systems And Information Engineering Faculty Of 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)