Search Results1-7 of  7

  • TAKEUTI IZUMI ID: 9000020994109

    Department of Otolaryngology, Keio University School of Medicine (1991 from CiNii)

    Articles in CiNii:1

    • Control of gaze and locomotion by spatial orientation. (1991)
  • TAKEUTI Izumi ID: 9000002359761

    Graduate School of Informatics, Kyoto Univ. (2001 from CiNii)

    Articles in CiNii:4

    • The Area of Figures Representable by Buchi Automata (Algebraic Systems,Formal Languages and Computations) (2000)
    • The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory) (2001)
    • The measure of an omega regular language is rational (Algebraic Semigroups, Formal Languages and Computation) (2001)
  • TAKEUTI Izumi ID: 9000004380005

    National Institute of Advanced Industrial Science and Technology (2011 from CiNii)

    Articles in CiNii:6

    • Embedding of a Qualitative Representation Language on a Two-Dimensional Plane (2006)
    • A Logical System to Verify Specifications Written by Pi-calculus (2005)
    • Embedding of a Qualitative Representation Language on a Two-Dimensional Plane (2006)
  • TAKEUTI Izumi ID: 9000019238186

    AIST (2012 from CiNii)

    Articles in CiNii:1

    • Workflows with Passbacks and Incremental Verification of Their Correctness (2012)
  • TAKEUTI Izumi ID: 9000363265312

    Articles in CiNii:1

    • Mathematics and Variables (2012)
  • Takeuti Izumi ID: 9000014296353

    Faculty of Science, Toho University (2005 from CiNii)

    Articles in CiNii:7

    • The Normal Open Set Almost Equal to a Regular Omega Language (Algorithms in Algebraic Systems and Computation Theory) (2002)
    • Systems of logic for necessity (Sequent Calculi and Proof Theory) (2003)
    • Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics) (2003)
  • Takeuti Izumi ID: 9000017500170

    National Institute of Advanced Industrial Science and Technology (2012 from CiNii)

    Articles in CiNii:5

    • 「情報処理学会論文誌 : プログラミング」の編集について (2005)
    • 様相論理による通信の安全性の記述 (代数系アルゴリズムと言語および計算理論--RIMS研究集会報告集) (2009)
    • 確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論) (2010)
Page Top