Year | Venue | Field |
---|---|---|
1992 | JICSLP | Programming language,Autoepistemic logic,Description logic,Multimodal logic,Zeroth-order logic,Theoretical computer science,Mathematical proof,Mutual recursion,Dynamic logic (modal logic),Mathematics |
DocType | Citations | PageRank |
Conference | 2 | 0.50 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gerhard Gröger | 1 | 55 | 8.41 |
Lutz Plümer | 2 | 141 | 23.12 |