Name
Year | Venue | Keywords |
|---|---|---|
1985 | J. Autom. Reasoning | program synthesis |
Field | DocType | Volume |
Program synthesis,Algorithm,Arithmetic,Mathematics | Journal | 1 |
Issue | Citations | PageRank |
1 | 1 | 0.42 |
References | Authors | |
0 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cordell Green | 1 | 431 | 677.34 |