Year | DOI | Venue |
---|---|---|
2003 | 10.1142/S0129054103001923 | Int. J. Found. Comput. Sci. |
Keywords | Field | DocType |
temporal logic | Discrete mathematics,Interval temporal logic,Non-classical logic,Linear temporal logic,Decidability,Theoretical computer science,Timed automaton,Temporal logic,Monadic predicate calculus,Mathematics,Dynamic logic (modal logic) | Journal |
Volume | Issue | Citations |
14 | 4 | 17 |
PageRank | References | Authors |
0.90 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Deepak D'souza | 1 | 239 | 17.90 |