Stephen C Kleene

13 papers and 92 indexed citations i.

Stephen C Kleene has authored 13 papers that have received a total of 92 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 3 papers in Experimental and Cognitive Psychology. The topics of these papers are Computability, Logic, AI Algorithms (5 papers), Logic, programming, and type systems (3 papers) and Philosophy and Theoretical Science (3 papers). Stephen C Kleene is often cited by papers focused on Computability, Logic, AI Algorithms (5 papers), Logic, programming, and type systems (3 papers) and Philosophy and Theoretical Science (3 papers) and collaborates with scholars based in United States, Canada and Germany. Stephen C Kleene's co-authors include John W Dawson, Solomon Feferman, Gregory Moore, Robert M Solovay and Kurt Gödel and has published in prestigious journals such as Transactions of the American Mathematical Society, The Philosophical Quarterly and Journal of Symbolic Logic.