Year | DOI | Venue |
---|---|---|
1977 | 10.1007/3-540-08342-1_8 | ICALP |
Keywords | Field | DocType |
termination tests,lambda calculus | Discrete mathematics,Lambda calculus,Computer science,Calculus | Conference |
ISBN | Citations | PageRank |
3-540-08342-1 | 0 | 0.34 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Corrado Böhm | 1 | 487 | 413.44 |
Mario Coppo | 2 | 1054 | 148.97 |
Mariangiola Dezani-Ciancaglini | 3 | 1615 | 193.57 |