Stanley S. Wainer
About
Stanley S. Wainer has authored 19 papers that have received a total of 205 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 3 papers in Algebra and Number Theory. The topics of these papers are Computability, Logic, AI Algorithms (9 papers), Logic, programming, and type systems (8 papers) and Advanced Algebra and Logic (7 papers). Stanley S. Wainer is often cited by papers focused on Computability, Logic, AI Algorithms (9 papers), Logic, programming, and type systems (8 papers) and Advanced Algebra and Logic (7 papers) and collaborates with scholars based in United Kingdom, United States and Japan. Stanley S. Wainer's co-authors include M. Lob, Toshiyasu Arai, Peter Clote, Robert I. Soare and J.A. Bergstra and has published in prestigious journals such as Proceedings of the American Mathematical Society, Journal of Symbolic Logic and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Sharon Walsh are about Top countries impacted by papers by Daniel Vaquero Top journals papers by Wei Zhuo are published in Top authors papers by Maximilian Zarte are co-authored with Top countries impacted by papers by Dorthe Teilum Top authors papers by Ben Walmsley are co-authored with Top fields papers by Maria Larsson are about Top countries impacted by papers by Álvaro Jiménez-Molina