Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-41071-0_3 | SBMF |
Field | DocType | Citations |
Computational logic,Programming language,Horn clause,Computer science,Description logic,Substructural logic,Theoretical computer science,Classical logic,Philosophy of logic,Predicate logic,Higher-order logic | Conference | 1 |
PageRank | References | Authors |
0.35 | 17 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Victor Bandur | 1 | 4 | 1.41 |
Jim Woodcock | 2 | 534 | 77.08 |