S. C. Kleene

25 papers and 866 indexed citations i.

S. C. Kleene has authored 25 papers that have received a total of 866 indexed citations. This includes 14 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 1 paper in Computer Networks and Communications. The topics of these papers are Computability, Logic, AI Algorithms (11 papers), Logic, programming, and type systems (7 papers) and semigroups and automata theory (6 papers). S. C. Kleene is often cited by papers focused on Computability, Logic, AI Algorithms (11 papers), Logic, programming, and type systems (7 papers) and semigroups and automata theory (6 papers) and collaborates with scholars based in United States. S. C. Kleene's co-authors include Henry E. Kyburg, Paul Bernays, Charles A. Baylis and Wilhelm Ackermann and has published in prestigious journals such as Annals of Mathematics, Transactions of the American Mathematical Society and American Mathematical Monthly