広川 佐千男 | Department Of Computer Science College Of General Education Kyushu University

スポンサーリンク

概要

• 同名の論文著者
• Department Of Computer Science College Of General Education Kyushu Universityの論文著者

関連著者

• 広川 佐千男

  Department Of Computer Science College Of General Education Kyushu University

• 広川 佐千男

  静岡大学工学部

• 関本 彰次

  Department of Computer Science, Shizuoka University

著作論文

• Number of Proofs for Implicational Formulas(MATHEMATICAL LOGIC AND ITS APPLICATIONS)
• ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications)
• Complexity of Combinator Reduction Machine(Mathematical Foundations of Computer Science and Their Applications)
• A relation between the size of term and the number of reduction steps in lambda calculus computations
• One-Step Recurrent Term in $\lambda$-Calculus (形式言語理論とオ-トマトン理論)

スポンサーリンク