講演・口頭発表等 - 酒井 正彦
-
Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs 国際会議
The 33rd Workshop on Term Rewriting Systems, Tsu
-
Decidability of termination for TRSs with right-shallow DPs 国際会議
The 31st Workshop on Term Rewriting Systems, Yamanaka
-
On confluent property of shallow term rewriting systems 国際会議
The 30th Workshop on Term Rewriting Systems, Sapporo
-
On Decidability of Innermost Terminafor Shallow Term Rewriting Systems
1st Mini-Workshop on Rewriting Techniques, Jaist
-
Programming in Malbolge 国際会議
The 2nd Austria - Japan Summer Workshop on Term Rewriting, Obergurgl
-
Straight line programming in Malbolge 国際会議
The 28th Workshop on Term Rewriting Systems, Katayamazu
-
On decidability of termination 国際会議
The 27th Workshop on Term Rewriting Systems, Katayamazu
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
LA symposium
-
On Normalizing Strategies of Left-linear Strong-overlay TRSs 国際会議
The 24nd Workshop on Term Rewriting Systems, Matsue
-
右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算
西田直樹、酒井正彦、坂部俊樹
2003年度夏のLAシンポジウム
-
Decidability of termination for TRSs with right-shallow DPs 国際会議
The 31st Workshop on Term Rewriting Systems, Yamanaka
-
n箇所パターン照合関数のDeforestationに基づく効率化
中村敏広、酒井正彦、坂部俊樹
シンポジウム，情報基礎理論ワークショップ
-
Confluence of Weakly Orthogonal CTRSs with Extra Variables
LA symposium