プール回路を表現するλ-calculusのω-ruleについて

スポンサーリンク

概要

• 論文の詳細を見る
• 豊田工業高等専門学校の論文
• 1991-12-10

著者

• 久馬 栄道

  豊田工業高等専門学校一般学科

関連論文

• 実数値連続関数の像の濃度に関する位相空間の性質
• プール回路を表現するλ-calculusのω-ruleについて
• 多項式時間計算可能な決定問題の新しい特徴付けについて

スポンサーリンク