キーワード : 合流性


左線形かつK-開発閉包な項書換えシステムの合流性
岩見 宗弘 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/10/01
Vol. J90-D  No. 10 ; pp. 2932-2935
論文種別:  レター
専門分野: 
キーワード: 
項書換えシステム合流性左線形
 あらまし | 本文:PDF(95.5KB)

順序ソート項書換え系における合流性のモジュラ性
河辺 義信 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/04/01
Vol. J85-D1  No. 4 ; pp. 331-341
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
順序ソート項書換え系オーバロード除去合流性ソート減少性モジュラ性
 あらまし | 本文:PDF(290.2KB)

項集合書換え系とその合流性
粕谷 英人 酒井 正彦 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/04/25
Vol. J80-D1  No. 4 ; pp. 325-334
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換え系合流性停止性完備化
 あらまし | 本文:PDF(582.9KB)

高階書換え系の単一正規形性
真野 健 小川 瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3 ; pp. 258-268
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系高階書換え系合流性単一正規形性
 あらまし | 本文:PDF(739.2KB)

条件付き項書換え系の合流性について
高橋 宜孝 酒井 正彦 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1  No. 11 ; pp. 897-902
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
条件付き項書換え系合流性危険対不能性
 あらまし | 本文:PDF(353.2KB)

単純右線形項書換えシステムの合流性について
太田 義勝 大山口 通夫 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/03/25
Vol. J78-D1  No. 3 ; pp. 263-268
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換えシステム合流性チャーチロッサ性非E重なり単純右線形TRS
 あらまし | 本文:PDF(411.5KB)

複数の簡約順序のもとでの項書換えシステム完備化手続き
近藤 久 栗原 正仁 大内 東 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/01/25
Vol. J78-D1  No. 1 ; pp. 1-10
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
Knuth-Bendix完備化手続き停止性合流性項書換えシステムATMS(Assumption-based TMS)
 あらまし | 本文:PDF(655.5KB)

右定項-項書換えシステムの合流性について
大山口 通夫 太田 義勝 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/02/25
Vol. J76-D1  No. 2 ; pp. 39-45
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換えシステム合流性E重なり右定項システム
 あらまし | 本文:PDF(446.4KB)