Name
Year | Venue | Field |
|---|---|---|
1994 | ICLP Workshop: Proof-Theoretical Extensions on Logic Programming | Algebra,Automated theorem proving,Prolog,Fundamental theorem,Mathematics |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Peter J. Robinson | 1 | 121 | 20.26 |
| John Staples | 2 | 103 | 22.59 |
| Anthony S. K. Cheng | 3 | 3 | 1.36 |