Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1990 | 10.1007/3-540-52885-7_131 | CADE |
Field | DocType | ISBN |
Computer science,Algorithm,Theoretical computer science,Otter | Conference | 0-387-52885-7 |
Citations | PageRank | References |
31 | 4.17 | 1 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| William McCune | 1 | 123 | 27.86 |