Name
Year | DOI | Venue |
|---|---|---|
2012 | 10.2168/LMCS-8(3:24)2012 | Logical Methods in Computer Science |
DocType | Volume | Citations |
Journal | 8 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael Holtmann | 1 | 0 | 0.34 |
| Lukasz Kaiser | 2 | 2 | 3.50 |
| Wolfgang Thomas | 3 | 8 | 0.84 |