S. C. Kleene

1. On notation for ordinal numbers
   1938/12/01 by S. C. Kleene · 9 citations
   Computer Science · Mathematics · #Rough Sets and Fuzzy Logic #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge #Mathematics #Class (philosophy) #Notation #Sequence (biology) #Limit (mathematics) #Successor cardinal #sort #Discrete mathematics #Constructive #Set (abstract data type) #Tuple #Computer science #Arithmetic #Process (computing) #Programming language #Artificial intelligence
2. Recursive Predicates and Quantifiers
   1943/01/01 by S. C. Kleene · 5 citations
   Computer Science · #Semantic Web and Ontologies #Constraint Satisfaction and Optimization #AI-based Problem Solving and Planning
3. λ-definability and recursiveness
   1936/06/01 by S. C. Kleene · 6 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Logic, Reasoning, and Knowledge
4. The Upper Semi-Lattice of Degrees of Recursive Unsolvability
   1954/05/01 by S. C. Kleene, Emil L. Post · 4 citations
   Computer Science · Mathematics · #Computability, Logic, AI Algorithms #semigroups and automata theory #Cellular Automata and Applications #Mathematics #Lattice (music) #Pure mathematics #Algebra over a field #Calculus (dental)
5. A Theory of Positive Integers in Formal Logic. Part I
   1935/01/01 by S. C. Kleene · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Arithmetic #Discrete mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Pure mathematics
6. The Inconsistency of Certain Formal Logics
   1935/07/01 by S. C. Kleene, J. B. Rosser · 1 citation
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge
7. On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
   1955/07/01 by S. C. Kleene · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Calculus (dental) #Computer science #Constructive #Logic, Reasoning, and Knowledge #Mathematics #Programming language #Pure mathematics