Toshiyasu Arai
About
Toshiyasu Arai has authored 43 papers that have received a total of 174 indexed citations.
This includes 35 papers in Computational Theory and Mathematics, 21 papers in Artificial Intelligence and 11 papers in Geometry and Topology. The topics of these papers are Computability, Logic, AI Algorithms (21 papers), Logic, Reasoning, and Knowledge (15 papers) and Logic, programming, and type systems (14 papers). Toshiyasu Arai is often cited by papers focused on Computability, Logic, AI Algorithms (21 papers), Logic, Reasoning, and Knowledge (15 papers) and Logic, programming, and type systems (14 papers) and collaborates with scholars based in Japan, United Kingdom and Singapore. Toshiyasu Arai's co-authors include Stanley S. Wainer, Wilfried Buchholz, David Fernández‐Duque, Mitsuhiro Okada and Andreas Weiermann and has published in prestigious journals such as Proceedings of the American Mathematical Society, Theoretical Computer Science and Journal of Symbolic Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Éric Bruillard are about Top authors papers by Maryam Poursadeghfard are co-authored with Top fields papers by R. Han are about Top journals papers by Roberta Gori are published in Top authors papers by Minoru Ito are co-authored with Top authors papers by Jing-Xian Liu are co-authored with Top authors papers by Aníbal Puente Ferreras are co-authored with Top journals papers by Henrique São Mamede are published in