Satoko Titani
About
Satoko Titani has authored 10 papers that have received a total of 283 indexed citations.
This includes 9 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 1 paper in Experimental and Cognitive Psychology. The topics of these papers are Logic, programming, and type systems (8 papers), Logic, Reasoning, and Knowledge (7 papers) and Advanced Algebra and Logic (6 papers). Satoko Titani is often cited by papers focused on Logic, programming, and type systems (8 papers), Logic, Reasoning, and Knowledge (7 papers) and Advanced Algebra and Logic (6 papers) and collaborates with scholars based in United States and Japan. Satoko Titani's co-authors include Gaisi Takeuti and has published in prestigious journals such as Journal of Symbolic Logic, Journal of the Mathematical Society of Japan and International Journal of Theoretical Physics
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Vyacheslav Mikhed are published in Top fields papers by Amelia Bicknese are about Top fields papers by E.V.J. Edmonds are about Top journals papers by Andreas Lobinger are published in Top fields papers by Victor Mazereel are about Top journals papers by Vikram C. Patil are published in Top authors papers by Fakhrosadat Fanian are co-authored with Top journals papers by Kebria Hezaveh are published in