変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 湯浅 能史

  早稲田大学理工学総合研究センター

関連論文

• 変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)
• 変数条件に基づく原始帰納関数の再帰融合について
• 一般部分計算における形式的推論体系の利用について(一般発表)
• 証明論的手法による一般部分計算の記述
• Shrinkability of Unbounded Sets in the Cohen Extention(Metamathematics and it's applications)

スポンサーリンク