照井 一成 | 国立情報学研究所

スポンサーリンク

概要

• 同名の論文著者
• 国立情報学研究所の論文著者

関連著者

• 照井 一成

  国立情報学研究所

• 岡田 光弘

  慶應義塾大学文学部哲学専攻

• 岡田 光弘

  Department Of Philosophy Keio University

• 照井 一成

  Department of Philosophy, Keio University

• Okada Mitsuhiro

  慶應義塾大学文学部

• Okada Mitsuhiro

  Department Of Philosphy Keio University

• Okada Mitsuhiro

  Department Of Philosophy Keio University

• 岡田 光弘

  Department of Philosphy, Keio University

著作論文

• Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report
• 線形論理の誕生(数学基礎論とその応用)
• Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory)
• 計算の世界へようこそ (特集 計算とは何か)

スポンサーリンク