Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.ic.2009.11.004 | Information and Computation |
Field | DocType | Volume |
Signature (logic),Computational logic,Programming language,Computer science,Logic optimization,Multimodal logic,Description logic,Object language,Theoretical computer science,Logic programming,Dynamic logic (modal logic) | Journal | 208 |
Issue | ISSN | Citations |
5 | 0890-5401 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
Valéria de Paiva | 2 | 0 | 0.68 |
Ruy de Queiroz | 3 | 29 | 5.24 |