@misc{indiciaed9b48248ca5c,
  title = {Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability},
  author = {Tomoyuki Yamakami},
  year = {2025},
  url = {https://arxiv.org/abs/2501.12007},
  note = {Source identifier: 2501.12007}
}