Concepedia

Moto-o Takahashi

MT

Statistics

Publications

9

Citations

274

H-Index

9

Active since

1967

Affiliations

University of Tsukuba(Current)

Moto-o Takahashi is an author at University of Tsukuba specializing in mathematics, natural sciences, and topology.

Publications per year

1967–1989

9

Publications

9

A proof of cut-elimination theorem in simple type-theory

Moto-o Takahashi · Journal of the Mathematical Society of Japan · 1967 · 96 citations · Full text

, , +9

Many-valued logics of extended Gentzen style II

Moto-o Takahashi · Journal of Symbolic Logic · 1970 · 42 citations

, , +11

An algorithm for recognizing $S\sp3$ in 3-manifolds with Heegaard splittings of genus two

Tatsuo Homma, Mitsuyuki Ochiai, Moto-o Takahashi · Institutional Repositories DataBase (IRDB) · 1980 · 38 citations · Full text

, , +4

On the presentations of the fundamental groups of 3-manifolds

Moto-o Takahashi · Tsukuba Journal of Mathematics · 1989 · 24 citations · Full text

, , +10

A Foundation of Finite Mathematics

Moto-o Takahashi · Publications of the Research Institute for Mathematical Sciences · 1976 · 20 citations · Full text

, , +6

1–5 of 9