Name
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/978-3-319-20297-6_17 | CSR |
Field | DocType | Citations |
Discrete mathematics,Combinatorics,Computer science,Type theory,Automath,Lambda,Cube | Conference | 0 |
PageRank | References | Authors |
0.34 | 4 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fairouz Kamareddine | 1 | 328 | 47.92 |
| Joe B. Wells | 2 | 24 | 3.45 |
| Daniel Lima Ventura | 3 | 22 | 4.88 |