A Diagrammatic Axiomatisation of Fermionic Quantum Circuits.

Amar Hadzihasanovic Giovanni de Felice Kang Feng Ng

Published in: FSCD (2018)

Keyphrases

quantum computing
logic circuits
logic synthesis
quantum inspired
quantum evolutionary algorithm
low power
modal logic
quantum mechanics
functional dependencies
tunnel diode
high speed
inference rules
data model
data sets
analog vlsi
databases
mobile computing
artificial intelligence
high level synthesis
database