Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-13770-4_6 | AISC |
Field | DocType | Citations |
HOL,Programming language,XML,Computer science,Theoretical computer science,Porting,ACL2,Integer matrix,Lemma (mathematics),Proof assistant,Formal proof | Conference | 0 |
PageRank | References | Authors |
0.34 | 17 | 7 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jesús Aransay-Azofra | 1 | 0 | 0.34 |
| Jose Divasón | 2 | 28 | 9.96 |
| Jónathan Heras | 3 | 94 | 23.31 |
| Laureano Lambán | 4 | 0 | 0.34 |
| María Vico Pascual | 5 | 0 | 0.34 |
| Angel Luis Rubio | 6 | 0 | 0.34 |
| J. Rubio | 7 | 202 | 31.12 |