証明論的手法による一般部分計算の記述
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1998-03-17
著者
関連論文
- 変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)
- 変数条件に基づく原始帰納関数の再帰融合について
- 一般部分計算における形式的推論体系の利用について(一般発表)
- 証明論的手法による一般部分計算の記述
- Shrinkability of Unbounded Sets in the Cohen Extention(Metamathematics and it's applications)