Year | Venue | Keywords |
---|---|---|
1988 | ICLP/SLP | equational logic |
Field | DocType | Citations |
Programming language,Computer science,Substructural logic,Rewriting,Equational logic,Many-valued logic,Predicate logic,Dynamic logic (modal logic),Intermediate logic,Higher-order logic | Conference | 3 |
PageRank | References | Authors |
0.55 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean H. Gallier | 1 | 749 | 111.86 |
Tomás Isakowitz | 2 | 739 | 127.97 |