Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1992 | 10.1007/3-540-56992-8_18 | CSL |
Keywords | Field | DocType |
functional language | Discrete mathematics,Functional programming,Computer science,Theoretical computer science,Dynamic logic (digital electronics),Rule of inference | Conference |
ISBN | Citations | PageRank |
3-540-56992-8 | 3 | 0.57 |
References | Authors | |
16 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Furio Honsell | 1 | 1254 | 146.59 |
| Ian A. Mason | 2 | 797 | 97.47 |
| Scott F. Smith | 3 | 696 | 73.02 |
| Carolyn Talcott | 4 | 1922 | 168.73 |