Name
Title | ||
|---|---|---|
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations |
Year | Venue | Keywords |
|---|---|---|
1994 | IFIP Congress (1) | mathematical analysis,functional logic programming |
Field | DocType | Citations |
Signature (logic),Computational logic,Horn clause,Axiomatic semantics,Abstract model theory,Logic optimization,Computer science,Multimodal logic,Theoretical computer science,Dynamic logic (modal logic) | Conference | 7 |
PageRank | References | Authors |
0.70 | 2 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Egon Börger | 1 | 44 | 3.53 |
| Francisco Javier López-fraguas | 2 | 436 | 25.21 |
| Mario Rodríguez-Artalejo | 3 | 716 | 59.70 |