Year | Venue | Keywords |
---|---|---|
1994 | ILPS | prolog interpreter,first-order intuitionistic logic,first order,intuitionistic logic |
Field | DocType | ISBN |
Intuitionistic logic,Horn clause,Programming language,Computer science,Minimal logic,Algorithm,Logic programming,Many-valued logic,Higher-order logic,Intermediate logic,Dynamic logic (modal logic) | Conference | 0-262-52191-1 |
Citations | PageRank | References |
1 | 0.36 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
L. Thorne Mccarty | 1 | 314 | 53.97 |
Leon A. Shklar | 2 | 32 | 17.42 |