Mitsuhiro Okada

16 papers and 120 indexed citations i.

Mitsuhiro Okada has authored 16 papers that have received a total of 120 indexed citations. This includes 13 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 2 papers in Surgery. The topics of these papers are Logic, Reasoning, and Knowledge (10 papers), Logic, programming, and type systems (8 papers) and Advanced Algebra and Logic (4 papers). Mitsuhiro Okada is often cited by papers focused on Logic, Reasoning, and Knowledge (10 papers), Logic, programming, and type systems (8 papers) and Advanced Algebra and Logic (4 papers) and collaborates with scholars based in Japan, United States and Canada. Mitsuhiro Okada's co-authors include Nachum Dershowitz, Kazushige Terui, Hitoshi Tabuchi, Koji Mineshima and Hiromitsu Toyoda and has published in prestigious journals such as Spine, Future Generation Computer Systems and Theoretical Computer Science.