Login / Signup
Birkhoff style proof systems for hybrid-dynamic quantum logic.
Daniel Gaina
Published in:
CoRR (2024)
Keyphrases
</>
management system
linear logic
neural network
case study
peer to peer
complex systems
modal logic
digital circuits
quantum computation
proof search
proof theory
multi valued
theorem prover
learning systems
multi agent
website
artificial intelligence