TY  - RPRT
TI  - Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
AU  - Tomoyuki Yamakami
PY  - 2025
UR  - https://arxiv.org/abs/2501.12007
ID  - 2501.12007
ER  -