Year | DOI | Venue |
---|---|---|
1994 | 10.1007/3-540-58201-0_56 | ICALP |
Field | DocType | ISBN |
Discrete mathematics,Combinatorics,Relational calculus,Automata theory,Model checking,Computer science,Automaton,Decidability,Time complexity,CTL*,Undecidable problem | Conference | 3-540-58201-0 |
Citations | PageRank | References |
33 | 2.25 | 5 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karlis Cerans | 1 | 314 | 48.74 |