Immediate Impact
1 standout
Citing Papers
Conditional rewriting logic as a unified model of concurrency
1992 Standout
Works of Stephen C Kleene being referenced
On Undecidable Propositions of Formal Mathematical Systems (1934).
1990
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Stephen C Kleene | 73 | 47 | 14 | 13 | 93 | |
| W. Thomas | 46 | 48 | 14 | 9 | 96 | |
| Judit X. Madarász | 61 | 50 | 5 | 16 | 121 | |
| R. O. Gandy | 133 | 65 | 12 | 16 | 184 | |
| Sean Walsh | 37 | 27 | 44 | 13 | 63 | |
| Burton Dreben | 58 | 64 | 30 | 13 | 142 | |
| Claudia Faggian | 68 | 85 | 7 | 13 | 96 | |
| Jan Johannsen | 84 | 75 | 6 | 13 | 97 | |
| L. E. J. Brouwer | 58 | 38 | 32 | 13 | 178 | |
| Gary M. Hardegree | 104 | 96 | 9 | 15 | 147 | |
| Richard L. Epstein | 87 | 66 | 12 | 14 | 135 |
All Works
Loading papers...