Scholarly Index
Jean-Yves Girard
Institut de Mathématiques de Marseille; 6,259 total citations; 43 total publications; best world rank #444
Institut de Mathématiques de Marseille
6,259Total citations
43Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 444 | FR 23 | 94.93 |
| Logic, Reasoning, and Knowledge | Lifetime | 555 | FR 31 | 93.69 |
| Advanced Algebra and Logic | Lifetime | 707 | FR 23 | 91.41 |
| Computability, Logic, AI Algorithms | Lifetime | 807 | FR 32 | 86.02 |