共 50 条
- [21] A linguistic characterization of bounded oracle computation and probabilistic polynomial time 39TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1998, : 725 - 733
- [23] A Programming Language Characterizing Quantum Polynomial Time FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 156 - 175
- [28] Constructive non-commutative rank computation is in deterministic polynomial time computational complexity, 2018, 27 : 561 - 593