Name
Year | Venue | Field |
|---|---|---|
2018 | LPAR | Computer science,Theoretical computer science,First-order logic |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| witold charatonik | 1 | 349 | 28.71 |
| Yegor Guskov | 2 | 0 | 0.34 |
| Ian Pratt-Hartmann | 3 | 347 | 35.43 |
| Piotr Witkowski | 4 | 13 | 4.09 |