Title | ||
---|---|---|
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-662-44602-7_8 | IFIP TCS |
Field | DocType | Citations |
Discrete mathematics,Modal μ-calculus,Normal modal logic,Accessibility relation,Multimodal logic,Descriptive complexity theory,Bisimulation,Transitive closure,Mathematics,Dynamic logic (modal logic) | Conference | 2 |
PageRank | References | Authors |
0.40 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Lange | 1 | 447 | 22.83 |
Étienne Lozes | 2 | 121 | 14.32 |