Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability.

Tomoyuki Yamakami

Browse the full CiE paper archive.