https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2462
76(1990-PRO-036)
情報学広場:情報処理学会電子図書館
2009-06-23T00:00:00+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30865&itemNo=1
栗原, 正仁
栗原正仁
大内, 東
大内東
構成子を共有する項書き換えシステムの単純停止性のモジュラ性
2009-06-30T06:49:52+09:00
2009-06-30T06:49:52+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30866&itemNo=1
杉藤, 芳雄
杉藤芳雄
関数型プログラムとグラフ還元
2009-06-30T06:49:52+09:00
2009-06-30T06:49:52+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30867&itemNo=1
萩谷, 昌己
萩谷昌己
定理証明手続きとしての高階単一化
2009-06-30T06:49:52+09:00
2009-06-30T06:49:52+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30868&itemNo=1
藤本, 聖
藤本聖
白川, 洋充
白川洋充
大野, 豊
大野豊
分散型関数型言語Cmexの開発
2009-06-30T06:49:52+09:00
2009-06-30T06:49:52+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30869&itemNo=1
疋田, 輝雄
疋田輝雄
いろいろのカテゴリカルコンビネータ
2009-06-30T06:49:52+09:00
2009-06-30T06:49:52+09:00