Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-32784-1_12 | CMCS |
Field | DocType | Citations |
Discrete mathematics,Graph,Combinatorics,Permutation,Navigability,Coinduction,Bisimulation,Graph (abstract data type),Mathematics,Pigeonhole principle,Proof assistant | Conference | 2 |
PageRank | References | Authors |
0.40 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Celia Picard | 1 | 9 | 1.35 |
Ralph Matthes | 2 | 201 | 21.67 |