近藤 久


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