Search Results1-12 of  12

  • KASAI TAKUMI ID: 9000004373083

    電気通信大学計算機科学科 (1989 from CiNii)

    Articles in CiNii:2

    • Computational Complexity and Models of Parallel Computation (1985)
    • 安全なOne-way Functionについて(計算アルゴリズムと計算量の基礎理論) (1989)
  • KASAI Takumi ID: 1000070027382

    Department of Computer Science, The University of Electro Communication (2009 from CiNii)

    Articles in CiNii:29

    • 戸田誠之助氏のゲーデル賞受賞について (1999)
    • 確率プッシュダウンオ-トマトンについて (1988)
    • 順序機械の多項式時間推論アルゴリズム (1999)
  • KASAI Takumi ID: 9000000596553

    the Faculty of Electro-Communications, University of Electro-Communications (1992 from CiNii)

    Articles in CiNii:1

    • Parallel Algorithms for the Maximal Tree Cover Problems (1992)
  • KASAI Takumi ID: 9000004836706

    Faculty of Electro-Communications, University of Electro-Communications (2005 from CiNii)

    Articles in CiNii:1

    • Inherent Ambiguity of Languages Generated by Spine Grammars(Automata and Formal Language Theory) (2005)
  • KASAI Takumi ID: 9000004892737

    Department of the Computer Science and Information Mathematics, University of Electro-Communications (1997 from CiNii)

    Articles in CiNii:1

    • Multi-Phase Tree Transformations (1997)
  • KASAI Takumi ID: 9000006121456

    Research Institute for Mathematical Sciences, Kyoto University (1977 from CiNii)

    Articles in CiNii:1

    • Computational Complexity of Multitape Turing Machines and Random Access Machines (1977)
  • KASAI Takumi ID: 9000253245720

    Research Institute for Mathematical Sciences, Kyoto University (1971 from CiNii)

    Articles in CiNii:1

    • Covering-Languages of Grammars (1971)
  • Kasai Takumi ID: 9000004342438

    電気通信大学 (1985 from CiNii)

    Articles in CiNii:11

    • 言語理論の最近の話題 I (1974)
    • 言語理論の最近の話題 II (1974)
    • 言語理論の最近の話題 III (1974)
  • Kasai Takumi ID: 9000004868567

    Faculty of Electro-Communications, University of Electro-Communications (1993 from CiNii)

    Articles in CiNii:1

    • Some EXPTIME Complete Problems on Context-Free Languages (1993)
  • Kasai Takumi ID: 9000004869129

    Faculty of Electro-Communications, University of Electro-Communications (1994 from CiNii)

    Articles in CiNii:1

    • Exhaustive Computation to Derive the Lower Bound for Sorting 13 Items (1994)
  • Kasai Takumi ID: 9000006240365

    Department of Computer Science, University of Electro-Communications (1992 from CiNii)

    Articles in CiNii:1

    • Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete (1992)
  • Kasai Takumi ID: 9000253312459

    Research Institute for Mathematical Sciences, Kyoto University (1977 from CiNii)

    Articles in CiNii:1

    • Computational Complexity of Multitape Turing Machines and Random Access Machines (1977)
Page Top