Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/3-540-56503-5_8 | STACS |
Keywords | Field | DocType |
duration calculus,undecidability results | Counter machine,Discrete mathematics,Algebra,Computer science,Decidability,Temporal logic,Regular language,Duration calculus | Conference |
ISBN | Citations | PageRank |
3-540-56503-5 | 64 | 2.64 |
References | Authors | |
7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhou Chaochen | 1 | 743 | 44.43 |
Michael r. Hansen | 2 | 543 | 43.29 |
Peter Sestoft | 3 | 646 | 77.07 |