某些复杂性类的递归可表示性

• Recursively Presentable Properties of Some Complexity Classes