Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | Venue | Keywords |
|---|---|---|
1989 | Proceedings of the international workshop on Extensions of logic programming | logic programming,definitional approach |
Field | DocType | ISBN |
Functional logic programming,Logic program,Proof search,Programming language,Horn clause,Computer science,Theoretical computer science,Logic programming | Conference | 3-540-53590-X |
Citations | PageRank | References |
9 | 1.33 | 11 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin Aronsson | 1 | 21 | 6.02 |
| Lars-Henrik Eriksson | 2 | 96 | 13.23 |
| Lars Hallnäs | 3 | 545 | 58.00 |
| Per Kreuger | 4 | 96 | 18.98 |