Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1007/BFb0097795 | TYPES |
Keywords | Field | DocType |
inverting inductively defined relations | Logic program,Algebra,Computer science,Algorithm,Selection rule,Rule of inference | Conference |
ISBN | Citations | PageRank |
3-540-65137-3 | 7 | 1.04 |
References | Authors | |
7 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Conor McBride | 1 | 752 | 47.89 |