Immediate Impact
3 standout
Citing Papers
Rethinking the entwinement between artificial intelligence and human learning: What capabilities do learners need for a world with AI?
2022 Standout
Survey of graph database models
2008 Standout
Works of Peter Aczel being referenced
Non-well-founded sets
1988
In 1967 Errett Bishop's book ‘Foundations of constructive analysis’ appeared.
1981
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Peter Aczel | 341 | 270 | 127 | 19 | 508 | |
| Andrzej Grzegorczyk | 276 | 443 | 63 | 28 | 544 | |
| Leon Henkin | 309 | 347 | 31 | 51 | 506 | |
| Andrzej Mostowski | 279 | 335 | 37 | 40 | 560 | |
| Steven Givant | 209 | 242 | 49 | 37 | 413 | |
| Marian Boykan Pour‐El | 196 | 406 | 61 | 28 | 509 | |
| Amit Levy | 193 | 230 | 129 | 19 | 547 | |
| Dirk van Dalen | 268 | 227 | 36 | 31 | 465 | |
| Elliott Mendelson | 235 | 245 | 22 | 29 | 505 | |
| C. Smoryński | 238 | 262 | 58 | 38 | 455 | |
| Steve Awodey | 184 | 170 | 160 | 39 | 481 |
All Works
Loading papers...