Name
Title | ||
|---|---|---|
Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings |
Year | Venue | Keywords |
|---|---|---|
1994 | TPHOLs | higher order logic,theorem proving |
Field | DocType | Volume |
HOL,Temporal logic of actions,Programming language,Theory,Computer science,Automated theorem proving,Proof theory,Theoretical computer science,Automath,Higher-order logic,Formal verification | Conference | 859 |
ISBN | Citations | PageRank |
isbn | 30 | 3.51 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Thomas F. Melham | 1 | 384 | 35.63 |
| Juanito Camilleri | 2 | 88 | 9.66 |
| ifip tc | 3 | 273 | 59.98 |
| its applications | 4 | 56 | 7.05 |