Immediate Impact
2 standout
Citing Papers
Modal Logic
2001 Standout
Greobner Bases : an algorithmic method in polynomial ideal theory
1985 Standout
Works of Harold Simmons being referenced
The Monotonous Elimination of Predicate Variables
1994
The solution of a decision problem for several classes of rings
1970
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Harold Simmons | 201 | 153 | 171 | 43 | 396 | |
| Sabine Koppelberg | 236 | 196 | 104 | 26 | 353 | |
| J. Donald Monk | 304 | 125 | 99 | 38 | 422 | |
| Gerhard Herden | 178 | 188 | 47 | 35 | 409 | |
| Orrin Frink | 228 | 127 | 130 | 27 | 388 | |
| S. Świerczkowski | 150 | 169 | 117 | 42 | 386 | |
| Richard J. Wood | 129 | 137 | 86 | 47 | 391 | |
| Steven Givant | 242 | 99 | 50 | 37 | 413 | |
| Alessandro Berarducci | 205 | 187 | 73 | 40 | 428 | |
| Jean Giraud | 145 | 251 | 97 | 16 | 393 | |
| J. C. E. Dekker | 320 | 120 | 48 | 36 | 444 |
All Works
Loading papers...