キーワード : ソート減少性


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