Name
Year | DOI | Venue |
|---|---|---|
1986 | 10.1007/BF00248251 | J. Autom. Reasoning |
Keywords | Field | DocType |
Artificial Intelligence,Mathematical Logic,Algebraic Manipulation,Combinatory Logic | Algebraic manipulation,Combinatory logic,Algorithm,Artificial intelligence,Mathematics,Mathematical logic | Journal |
Volume | Issue | ISSN |
2 | 4 | 0168-7433 |
Citations | PageRank | References |
3 | 2.15 | 1 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Barney Glickfeld | 1 | 3 | 2.15 |
| Ross A. Overbeek | 2 | 760 | 234.40 |