共 50 条
- [31] Polynomial time image computation with interval-definable counters systems MODEL CHECKING SOFTWARE, 2004, 2989 : 182 - 197
- [32] Linear types and non-size-increasing polynomial time computation Proceedings - Symposium on Logic in Computer Science, 1999, : 464 - 473
- [37] A syntactical analysis of non-size-increasing polynomial time computation 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 84 - 91
- [39] Polynomial-Time-Scaling Quantum Dynamics with Time-Dependent Quantum Monte Carlo JOURNAL OF PHYSICAL CHEMISTRY A, 2009, 113 (20): : 6016 - 6021