論文 - 酒井 正彦
-
Confluence of Weakly Orthogonal CTRSs with Extra Variables
"Ould Seyid Ahmed, Masahiko Sakai, Toshiki Sakabe"
LA symposium 2000年
-
直交メタ項書換え計算のデベロップメントと合流性
洪順姫、酒井正彦、坂部俊樹
電子情報通信学会技術報告 COMP99-9 巻 頁： 65-70 1999年4月
-
順序ソートの自動推論とラベル付けに基づく合流性判定への応用
宮下大、酒井正彦、坂部俊樹
計算モデルとアルゴリズム、数理解析研究所講究録 1093 巻 頁： 136-141 1999年2月
-
項集合書換え系の完備化について
粕谷英人、酒井正彦、山本晋一郎、阿草清滋
電子情報通信学会技術報告 SS98-66 巻 頁： 25-31 1998年12月
-
Semantics and Strong Sequentiality of Priority Term Rewriting Systems 査読有り
"Masahiko Sakai, Yoshihito Toyama"
Theoretical Computer Science 208 巻 頁： 87-110 1998年11月
-
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems 査読有り
"Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama"
IEICE Trans. on Information and Systems E81-D 巻 ( 9 ) 頁： 988-996 1998年9月
-
Index Reduction of Overlapping Strongly Sequential Systems 査読有り
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
IEICE Trans. on Information and Systems E81-D 巻 ( 5 ) 頁： 419-426 1998年5月
-
項書換え系の拡張された階層的結合における停止性のモジュラー性
大野健治、河口信夫、酒井正彦、坂部俊樹、稲垣康善
電子情報通信学会技術報告 SS97-84 巻 頁： 57-61 1998年3月
-
依存対に基づく高階項書換え系の停止性証明
渡辺啓嗣、河口信夫、酒井正彦、坂部俊樹、稲垣康善
電子情報通信学会技術報告 SS97-85 巻 頁： 63-70 1998年3月
-
IIn型条件付き書換え系の合流性について
西村徹、酒井正彦、坂部俊樹
電子情報通信学会技術報告 COMP97-84 巻 頁： 45-49 1998年1月
-
Left-Incompatible Term Rewriting Systems and Functional Strategy 査読有り
Masahiko Sakai
IEICE Trans. on Information and Systems E80-D 巻 ( 12 ) 頁： 1176-1182 1997年12月
-
項集合書換え系とその合流性 査読有り
粕谷英人，酒井正彦，山本晋一郎，阿草清滋
電子情報通信学会誌 J80-D-I 巻 ( 4 ) 頁： 325-334 1997年4月
-
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
"Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama"
"Tech. Rep., IEICE" COMP96-73 巻 頁： 17-24 1997年1月
-
条件付き書換え系の合流性について 査読有り
高橋宜孝，酒井正彦，外山芳人
電子情報通信学会誌 J79-D-I 巻 ( 11 ) 頁： 897-902 1996年11月
-
Semantics and Strong Sequentiality of Priority Term Rewriting Systems 査読有り
"Masahiko Sakai, Yoshihito Toyama"
"Proc. on Rewriting Techniques and Applications at New Brunswick NJ USA, LNCS" 1103 巻 頁： 377-391 1996年7月
-
Index reduction of Overlapping Strong Sequential Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
"Tech. Rep., IEICE" COMP96-32 巻 頁： 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 頁： 160-165 1996年7月
-
Index reduction of Overlapping Strong Sequential Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
LA Symposium 頁： 154-165 1996年7月
-
高階項書換え系の停止性について
岩見宗弘，酒井正彦，外山芳人
シンポジウム，情報基礎理論ワークショップ 頁： 55-60 1996年7月
-
項書換え系のAC停止性について
中野賢司，酒井正彦，外山芳人
電子情報通信学会技術報告 COMP95-104 巻 頁： 69-78 1996年3月