S. C. Kleene - Concepedia

Author

S. C. Kleene

University of Wisconsin–Madison

Also Known As

S Kleene, S. C. KLEENE, S. C. Kleene, S. Kleene, S.C. Kleene, Stephen C. Kleene, StephenC Kleene

120

Publications

6.7K

Citations

H-Index

Concepts

All Affiliations

University of Wisconsin–Madison Madison Group (United States)

About

S. C. Kleene is an author at University of Wisconsin–Madison specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	14	1.9K
2	Computer Science	6	6	606
3	Language Studies	3	3	197
4	Humanities	1	1	83
5	Law	1	1	20

S. C. Kleene

Publications

4.5K

Citations

H-Index

Page 1

	Year	Citations
On notation for ordinal numbers S. C. Kleene Journal of Symbolic Logic Order TheoryFormal NotationConstructive OperationEngineeringFormal Methods	1938	755
General recursive functions of natural numbers S. C. Kleene Mathematische Annalen General Recursive FunctionsRecursive FunctionNatural FunctionComputability Theory	1936	592
Recursive predicates and quantifiers S. C. Kleene Transactions of the American Mathematical Society	1943	340
Recursive functionals and quantifiers of finite types. I S. C. Kleene Transactions of the American Mathematical Society	1959	317
The Upper Semi-Lattice of Degrees of Recursive Unsolvability S. C. Kleene, Emil L. Post Annals of Mathematics Decision ProcedureEngineeringLattice (Order)Automated ReasoningComputational Model Theory	1954	275
λ-definability and recursiveness S. C. Kleene Duke Mathematical Journal Recursive FunctionLambda CalculusComputability Theory	1936	263
Hierarchies of number-theoretic predicates S. C. Kleene Bulletin of the American Mathematical Society	1955	184
Arithmetical predicates and function quantifiers S. C. Kleene Transactions of the American Mathematical Society	1955	165
The Foundations of Intuitionistic Mathematics. Henry E. Kyburg, S. C. Kleene, R. E. Vesley American Mathematical Monthly Intuitionistic LogicConstructive MathematicsAutomated ReasoningConstructive LogicMathematical Foundations	1967	155
A Theory of Positive Integers in Formal Logic. Part I S. C. Kleene American Journal of Mathematics Formal LogicEngineeringAutomated ReasoningClassical LogicFormal Methods	1935	138

Page 1