Year | Venue | Keywords |
---|---|---|
1987 | LICS | theorem proving |
Field | DocType | Citations |
Discrete mathematics,Combinatorics,Unification,Automated theorem proving,Fundamental theorem,Mathematics,Compactness theorem | Conference | 33 |
PageRank | References | Authors |
2.33 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean H. Gallier | 1 | 749 | 111.86 |
Stan Raatz | 2 | 176 | 37.68 |
Wayne Snyder | 3 | 225 | 23.79 |