Sakai Masahiko | Department Of Information Engineering Nagoya University
スポンサーリンク
概要
関連著者
-
Sakai M
Graduate School Of Information Science Nagoya University
-
Sakai Masahiko
Department Of Information Engineering Nagoya University
-
Sakai Masahiko
Nagoya University
-
TOYAMA Yoshihito
Faculty of Information Science, Japan Advanced Institute of Science and Technology
-
Sakai M
Nagoya Univ. Nagoya‐shi Jpn
-
Toyama Yoshihito
School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku
-
Nagaya Takashi
Japan Advanced Institute Of Science And Technology
-
Toyama Y
Tohoku Univ. Sendai‐shi Jpn
-
KUSAKARI Keiichirou
Graduate School of Information Science, Nagoya Univ.
-
SAKAI Masahiko
Graduate School of Information Science, Nagoya Univ.
-
Watanabe Keiichi
Department Of Internal Medicine School Of Medicine Tokai University
-
Sakai Masahiko
Nagoya Univ. Nagoya Jpn
-
Sakai Masahiko
Department Of Gastroenterological Endoscopy Kyoto University
-
Sakai Masahiko
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Sakai Masahiko
Department Of Electrical Engineering School Of Science And Engineering Waseda University
-
WATANABE Yoshiaki
The Faculty of Science and Engineering, Saga University
-
Nagaya Takashi
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
-
Sakai M
Nagoya Univ. Nagoya Jpn
-
Sakai Masahiko
Graduate School Of Information Science Nagoya Univ.
-
WATANABE Yoshitsugu
Department of Information Engineering, Nagoya University
-
SAKABE Toshiki
Department of Information Engineering, Nagoya University
-
IWAMI Munehiro
Faculty of Information Science, Japan Advanced Institute of Science and Technology
-
SAKAI Masahiko
Faculty of Information Science, Nagoya University
-
Dansako Hiromichi
Department Of Applied Biological Sciences Saga University
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya University
-
Kusakari Keiichirou
Graduate School Of Information Science Nagoya Univ.
-
Kusakari Keiichirou
School Of Information Science Jaist
-
Sakai M
Japan Advanced Institute Of Science And Technology:(present Address)nagoya University
-
SAKAI Masahiko
Japan Advanced Institute of Science and Technology
-
Funatsu Gunki
Laboratory Of Biochemistry And ** Laboratory Of Protein Chemistry & Engineering Faculty Of Agric
-
Iwami M
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
-
Iwami Munehiro
Faculty Of Information Science Japan Advanced Institute Of Science And Technology
-
Sakabe Toshiki
Department Of Electrical Engineering Faculty Of Engineering Nagoya University
-
Sakabe Toshiki
Department Of Information Engineering Nagoya University
-
Asada Noriaki
Laboratory of Protein Chemistry and Engineering, Faculty of Agriculture, Kyushu University
-
Sakai Masahiko
Laboratory of Protein Chemistry and Engineering, Faculty of Agriculture, Kyushu University
-
TOYAMA Yoshihito
Japan Advanced Institute of Science and Technology
-
Toyama Yoshihito
School Of Information Science Jaist
-
Toyama Yoshihito
Faculty Of Information Science Japan Advanced Institute Of Science And Technology
-
Watanabe Yoshitsugu
Department Of Information Engineering Nagoya University:(present Address) Building Systems Dept. Mit
-
Sakai Masahiko
Faculty Of Information Science Nagoya University
-
Watanabe Keiichi
Department Of Applied Biological Sciences Saga University
-
Watanabe Keiichi
Department Of Applied Biological Science Faculty Of Agriculture Saga University
-
Asada Noriaki
Laboratory Of Protein Chemistry And Engineering Faculty Of Agriculture Kyushu University
-
Watanabe Keiichi
Department of Applied Biological Sciences, Saga University
-
Sakai Masahiko
Department of Biology, Faculty of Science, Kanazawa University
著作論文
- An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
- An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
- Left-Incompatible Term Rewriting Systems and Functional Strategy
- On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
- Effects of Chemical Modification of Arginine Residues Outside the Active Site Cleft of Ricin A-Chain on Its RNA N-Glycosidase Activity for Ribosomes
- Index Reduction of Overlapping Strongly Sequential Systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)