共 50 条
- [1] Undecidable Problems for Probabilistic Automata of Fixed Dimension [J]. Theory of Computing Systems, 2003, 36 : 231 - 245
- [4] Comments on 'Two undecidable problems of analysis' [J]. MINDS AND MACHINES, 2003, 13 (01) : 79 - 85
- [5] Comments on `Two Undecidable Problems of Analysis' [J]. Minds and Machines, 2003, 13 (1) : 79 - 85
- [7] Two undecidable variants of Collatz's problems [J]. THEORETICAL COMPUTER SCIENCE, 2008, 407 (1-3) : 596 - 600
- [8] UNDECIDABLE PROBLEMS ASSOCIATED WITH COMBINATORIAL SYSTEMS AND THEIR ONE-ONE DEGREES OF UNSOLVABILITY [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (05): : 453 - 462
- [9] RESTRICTED ONE-COUNTER MACHINES WITH UNDECIDABLE UNIVERSE PROBLEMS [J]. MATHEMATICAL SYSTEMS THEORY, 1979, 13 (02): : 181 - 186
- [10] RELIABLE SOLUTION OF SPECIAL EVENT LOCATION-PROBLEMS FOR ODES [J]. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1991, 17 (01): : 11 - 25