竹内 泉 | 京都大学情報学研究科

スポンサーリンク

概要

• 竹内 泉の詳細を見る
• 同名の論文著者
• 京都大学情報学研究科の論文著者

関連著者

• 竹内 泉

  京都大学情報学研究科

• 佐藤 雅彦

  京都大学大学院情報学研究科

• 竹内 泉

  京都大学大学院情報学研究科

• 佐藤 雅彦

  Department Of Information Science Faculty Of Science University Of Tokyo

• Sato Masahiko

  Graduate School Department Of Mathematics Kyoto University

• Sato Masahiko

  Department Of Information Science Kyoto University

• 佐藤 雅彦

  京都大学大学院エネルギー科学研究科

著作論文

• オメガ正規言語の測度が有理数であること
• The measure of an omega regular language is rational (Algebraic Semigroups, Formal Languages and Computation)
• The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)
• The Area of Figures Representable by Buchi Automata (Algebraic Systems, Formal Languages and Computations)

スポンサーリンク