共 50 条
- [4] The Complexity of Explicit Constructions [J]. THEORY OF COMPUTING SYSTEMS, 2012, 51 (03) : 297 - 312
- [5] The Complexity of Explicit Constructions [J]. PROGRAMS, PROOFS, PROCESSES, 2010, 6158 : 372 - 375
- [6] CONSTRUCTIONS AND COMPLEXITY OF SECONDARY POLYTOPES [J]. ADVANCES IN MATHEMATICS, 1990, 83 (02) : 155 - 179
- [7] COMPLEXITY OF SOME COMBINATORIAL CONSTRUCTIONS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (02): : 121 - 130
- [9] Computational complexity and knowledge complexity [J]. SIAM JOURNAL ON COMPUTING, 1998, 27 (04) : 1116 - 1141
- [10] Computational simulation of categorical constructions [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005, 2005, 3643 : 44 - 49