Statistics
Publications
1
Citations
14
H-Index
1
Active since
1980
Tohru Miyatake is an author specializing in formal proof systems, theory of computation, and theorem proving.
Publications per year
1980–1980
1
1
On the length of proofs in a formal systems
Tohru Miyatake · Tsukuba Journal of Mathematics · 1980 · 14 citations · Full text
1–1 of 1