On the Power of Quantum Distributed Proofs.

Atsuya Hasegawa Srijita Kundu Harumichi Nishimura

Published in: PODC (2024)

Keyphrases

distributed systems
distributed environment
cooperative
databases
distributed data
fault tolerant
theorem prover
power consumption
equational theories
formal proofs
quantum computing
communication cost
database
mobile agents
information retrieval
neural network
real time