キーワード : 完備化


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