上出 哲弘 | 東京工業大学情報理工学研究科

スポンサーリンク

概要

• 上出 哲弘の詳細を見る
• 同名の論文著者
• 東京工業大学情報理工学研究科の論文著者

関連著者

• 上出 哲弘

  東京工業大学情報理工学研究科

著作論文

• A Relationship Between Dual-Intuitionistic Logic and Nelson's Constructive Logic (Sequent Calculi and Proof Theory)
• Intuitionistic Linear Logics with Communication Principle (Sequent Calculi and Proof Theory)

スポンサーリンク