Title | ||
---|---|---|
Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings |
Year | Venue | Keywords |
---|---|---|
2005 | TPHOLs | higher order logic,theorem proving |
Field | DocType | Volume |
HOL,Programming language,POPLmark challenge,Algebra,Computer science,Automated theorem proving,Correctness,Mathematical proof,Proof complexity,Formal verification,Formal proof | Conference | 3603 |
ISBN | Citations | PageRank |
isbn | 23 | 3.29 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joe Hurd | 1 | 89 | 8.92 |
Thomas F. Melham | 2 | 384 | 35.63 |