共 50 条
- [2] A Local Criterion for Polynomial-Time Stratified Computations FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS, 2010, 6324 : 114 - 130
- [7] Polynomial-time computable stable models Annals of Mathematics and Artificial Intelligence, 17 (3-4):
- [9] Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality Theory of Computing Systems, 2023, 67 : 627 - 669