Kazushige Terui
About
Kazushige Terui has authored 22 papers that have received a total of 290 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (17 papers) and Advanced Algebra and Logic (10 papers). Kazushige Terui is often cited by papers focused on Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (17 papers) and Advanced Algebra and Logic (10 papers) and collaborates with scholars based in Japan, Austria and France. Kazushige Terui's co-authors include Agata Ciabattoni, Nikolaos Galatos, Mitsuhiro Okada, Patrick Baillot and Mitsuhiro Okada and has published in prestigious journals such as Theoretical Computer Science, Journal of Symbolic Logic and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Vandana Bhatia Top fields papers by Hua Xu are about Top journals papers by Amei Amei are published in Top fields papers by Yordhathai Thongsri are about Top authors papers by Chung‐Hao Wang are co-authored with Top authors papers by Melike Fırlak are co-authored with Top countries impacted by papers by Jan Poland Top fields papers by Robert Sandling are about