Statistics
Publications
2
Citations
28
H-Index
2
Active since
2013
Affiliations
Toshiki Kataoka is an author at The University of Tokyo specializing in theory of computation, semantics, and formal semantics.
Publications per year
2013–2017
2
2
Coinductive Predicates and Final Sequences in a Fibration
Ichiro Hasuo, Kenta Cho, Toshiki Kataoka et al. · Electronic Notes in Theoretical Computer Science · 2013 · 16 citations · Full text
1–2 of 2