Name
Year | DOI | Venue |
|---|---|---|
1991 | 10.1016/B978-0-12-450010-5.50007-4 | Artificial intelligence and mathematical theory of computation |
Keywords | Field | DocType |
first-order logic,functional instantiation,first order logic | Programming language,Computer science,Substructural logic,Description logic,Multimodal logic,Philosophy of logic,Predicate logic,Dynamic logic (modal logic),Higher-order logic,Intermediate logic | Conference |
ISBN | Citations | PageRank |
0-12-450010-2 | 31 | 3.85 |
References | Authors | |
2 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Robert S Boyer | 1 | 1553 | 529.82 |
| David M. Goldschlag | 2 | 874 | 130.36 |
| Matt Kaufmann | 3 | 206 | 20.16 |
| J. Strother Moore | 4 | 1916 | 526.00 |