共 50 条
- [6] The complexity of temporal logic with until and since over ordinals LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 531 - +
- [9] THE SPACE COMPLEXITY OF MULTIDIMENSIONAL TURING AUTOMATA ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (03): : 233 - 258
- [10] Verifying Time Complexity of Turing Machines INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2016, 40 (03): : 369 - 370