Kenta Cho

17 papers and 80 indexed citations i.

Kenta Cho has authored 17 papers that have received a total of 80 indexed citations. This includes 13 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (7 papers), Advanced Algebra and Logic (7 papers) and Logic, programming, and type systems (6 papers). Kenta Cho is often cited by papers focused on Logic, Reasoning, and Knowledge (7 papers), Advanced Algebra and Logic (7 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in Japan, The Netherlands and United Kingdom. Kenta Cho's co-authors include Akihiko Ohsuga, M. Isshiki, Masanori Hattori, Ichiro Hasuo and Shinichi Honiden and has published in prestigious journals such as Mathematical Structures in Computer Science, Electronic Notes in Theoretical Computer Science and New Generation Computing