Immediate Impact
29 standout
Citing Papers
Simplified neutrosophic sets and their applications in multi-criteria group decision-making problems
2015 Standout
TOPSIS method for multi-attribute group decision-making under single-valued neutrosophic environment
2015 Standout
Works of A. S. Troelstra being referenced
Lectures on linear logic
1992
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| A. S. Troelstra | 1020 | 1007 | 15 | 131 | 39 | 1.3k | |
| Robert Goldblatt | 1208 | 1040 | 46 | 105 | 67 | 1.6k | |
| G. Kreisel | 614 | 761 | 12 | 176 | 58 | 1.1k | |
| J. B. Paris | 806 | 662 | 73 | 206 | 86 | 1.2k | |
| J. C. Shepherdson | 807 | 890 | 15 | 152 | 54 | 1.3k | |
| Raymond M. Smullyan | 1098 | 873 | 24 | 76 | 63 | 1.5k | |
| Calvin C. Elgot | 882 | 1132 | 30 | 88 | 35 | 1.4k | |
| Wilfrid Hodges | 521 | 717 | 42 | 534 | 67 | 1.3k | |
| J. Lambek | 700 | 621 | 57 | 345 | 56 | 1.3k | |
| Robert M Solovay | 513 | 985 | 28 | 653 | 26 | 1.4k | |
| F. William Lawvere | 560 | 660 | 150 | 458 | 29 | 1.4k |
All Works
Loading papers...