共 50 条
- [31] Undecidable problems about timed automata FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2006, 4202 : 187 - 199
- [36] Synchronous Subsequentiality and Approximations to Undecidable Problems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (193): : 58 - 72
- [40] SOME UNSOLVABLE PROBLEMS IN COMPUTABLE CATEGORIES DOKLADY AKADEMII NAUK SSSR, 1974, 216 (01): : 42 - 43