Search the dblp DataBase
Stephen Cole Kleene: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Stephen Cole Kleene
Algorithms in various contexts. [Citation Graph (0, 0)][DBLP]
Algorithms in Modern Mathematics and Computer Science, 1979, pp:355-360 [Conf] - Stephen Cole Kleene
Origins of Recursive Function Theory [Citation Graph (0, 0)][DBLP]
FOCS, 1979, pp:371-382 [Conf] - Stephen Cole Kleene
Third Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1938, v:3, n:1, pp:59-60 [Journal] - Stephen Cole Kleene
On Notation for Ordinal Numbers. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1938, v:3, n:4, pp:150-155 [Journal] - Stephen Cole Kleene
On the Interpretation of Intuitionistic Number Theory. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1945, v:10, n:4, pp:109-124 [Journal] - Stephen Cole Kleene
Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1962, v:27, n:1, pp:11-18 [Journal] - Stephen Cole Kleene
An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1963, v:28, n:2, pp:154-156 [Journal] - Stephen Cole Kleene
The Work of Kurt Gödel. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1976, v:41, n:4, pp:761-778 [Journal] - Stephen Cole Kleene
An Addendum to The Work of Kurt Gödel. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1978, v:43, n:3, pp:613- [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002