Name
Title | ||
|---|---|---|
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) |
Year | Venue | Keywords |
|---|---|---|
1989 | LICS | first order,polymorphism,functional programming |
Field | DocType | Citations |
Discrete mathematics,Combinatorics,Computer science,Unification | Conference | 5 |
PageRank | References | Authors |
1.39 | 6 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| A. J. Kfoury | 1 | 461 | 47.34 |
| Jerzy Tiuryn | 2 | 1210 | 126.00 |
| Pawel Urzyczyn | 3 | 333 | 33.29 |