Name
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/978-3-030-29436-6_3 | CADE |
Field | DocType | Citations |
HOL,Extensionality,Data structure,Programming language,Computer science,Algorithm,Higher-order logic,Satisfiability modulo theories,Encoding (memory) | Conference | 1 |
PageRank | References | Authors |
0.35 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Haniel Barbosa | 1 | 1 | 4.07 |
| Andrew Reynolds | 2 | 5 | 4.14 |
| Daniel El Ouraoui | 3 | 1 | 0.35 |
| Cesare Tinelli | 4 | 1409 | 79.86 |
| Clark Barrett | 5 | 1268 | 108.65 |