共 50 条
- [42] Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [45] Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets Theory of Computing Systems, 2008, 43 : 471 - 497
- [48] ON COMPACTNESS AND ORDINALS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (04): : A480 - A480