Year | Venue | Keywords |
---|---|---|
2007 | PDPTA | theorem prover |
Field | DocType | Citations |
Computer science,Automated theorem proving,Parallel computing | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ralph Butler | 1 | 145 | 55.16 |
Chrisila C. Pettey | 2 | 33 | 7.52 |