Papers - SAKAI, Masahiko
-
Confluence of Weakly Orthogonal CTRSs with Extra Variables
"Ould Seyid Ahmed, Masahiko Sakai, Toshiki Sakabe"
LA symposium 2000
-
直交メタ項書換え計算のデベロップメントと合流性
洪順姫、酒井正彦、坂部俊樹
電子情報通信学会技術報告 Vol. COMP99-9 page： 65-70 1999.4
-
順序ソートの自動推論とラベル付けに基づく合流性判定への応用
宮下大、酒井正彦、坂部俊樹
計算モデルとアルゴリズム、数理解析研究所講究録 Vol. 1093 page： 136-141 1999.2
-
On Completion of Term Set Rewriting Systems
"Hideto Kasuya, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"
Technical Report of IEICE Vol. SS98-66 page： 25-31 1998.12
-
Semantics and Strong Sequentiality of Priority Term Rewriting Systems Reviewed
"Masahiko Sakai, Yoshihito Toyama"
Theoretical Computer Science Vol. 208 page： 87-110 1998.11
-
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems Reviewed
"Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama"
IEICE Trans. on Information and Systems Vol. E81-D ( 9 ) page： 988-996 1998.9
-
Index Reduction of Overlapping Strongly Sequential Systems Reviewed
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
IEICE Trans. on Information and Systems Vol. E81-D ( 5 ) page： 419-426 1998.5
-
Modularity of Termination in Extended Hierarchical Combination of Term Rewriting Systems
"Kenji Ohno, Nobuo Kawaguchi, Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"
Technical Report of IEICE Vol. SS97-84 page： 57-61 1998.3
-
Proing Termination of Higher Order Rewriting Systems based on Dependency Pairs
"Yoshitsugu Watanabe, Nobuo Kawaguchi, Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"
Technical Report of IEICE Vol. SS97-85 page： 63-70 1998.3
-
On Confluent Property of Type-IIn Conditional Term Rewrite Systems
"Tohru Nishimura, Masahiko Sakai, Toshiki Sakabe"
Technical Report of IEICE Vol. COMP97-84 page： 45-49 1998.1
-
Left-Incompatible Term Rewriting Systems and Functional Strategy Reviewed
Masahiko Sakai
IEICE Trans. on Information and Systems Vol. E80-D ( 12 ) page： 1176-1182 1997.12
-
Term Set Rewriting Systems and their Confluent Property Reviewed
"Hideto Kasuya, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"
Transaction of IEICE Vol. J80-D-I ( 4 ) page： 325-334 1997.4
-
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
"Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama"
"Tech. Rep., IEICE" Vol. COMP96-73 page： 17-24 1997.1
-
On the Confluence Property of Conditional Term Rewriting Systems Reviewed
"Yoshitaka Takahashi, Masahiko Sakai, Yoshihito Toyama"
Transaction of IEICE Vol. J79-D-I ( 11 ) page： 897-902 1996.11
-
Semantics and Strong Sequentiality of Priority Term Rewriting Systems Reviewed
"Masahiko Sakai, Yoshihito Toyama"
"Proc. on Rewriting Techniques and Applications at New Brunswick NJ USA, LNCS" Vol. 1103 page： 377-391 1996.7
-
高階項書換え系の停止性について
岩見宗弘，酒井正彦，外山芳人
シンポジウム，情報基礎理論ワークショップ page： 55-60 1996.7
-
Index reduction of Overlapping Strong Sequential Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
"Tech. Rep., IEICE" Vol. COMP96-32 page： 39-48 1996.7
-
Church-Rosser Property of Finite Ranked Terms of Non-Linear Term Rewriting Systems
"Keiichiro Kusakari, Masahiko Sakai, Yoshihito Toyama"
LA Symposium page： 160-165 1996.7
-
Index reduction of Overlapping Strong Sequential Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
LA Symposium page： 154-165 1996.7
-
Termination for Associative-Commutative Term Rewriting Systems
"Kenji Nakano, Masahiko Sakai, Yoshihito Toyama"
"Tech. Report, IEICE" Vol. COMP95-104 page： 69-78 1996.3