Concepedia

S. C. Kleene

SC

32

Publications

4.5K

Citations

28

H-Index

1934

Active since

Affiliations

University of Wisconsin–Madison(Current)

Madison Group (United States)

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

Top concepts

Publications per year

1934–1991

32

Publications

32

On notation for ordinal numbers

S. C. Kleene · Journal of Symbolic Logic · 1938 · 755 citations

, , +8

General recursive functions of natural numbers

S. C. Kleene · Mathematische Annalen · 1936 · 592 citations

, , +1

Recursive predicates and quantifiers

S. C. Kleene · Transactions of the American Mathematical Society · 1943 · 340 citations · Full text

Recursive functionals and quantifiers of finite types. I

S. C. Kleene · Transactions of the American Mathematical Society · 1959 · 317 citations · Full text

The Upper Semi-Lattice of Degrees of Recursive Unsolvability

S. C. Kleene, Emil L. Post · Annals of Mathematics · 1954 · 275 citations

, , +14

Rows per page

1–5 of 32