A diagrammatic axiomatisation of fermionic quantum circuits.
Amar HadzihasanovicGiovanni de FeliceKang Feng NgPublished in: CoRR (2018)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- tunnel diode
- mobile computing
- modal logic
- low power
- quantum mechanics
- quantum computation
- functional dependencies
- diagrammatic reasoning
- inference rules
- databases
- digital circuits
- delay insensitive
- analog circuits
- data model
- artificial neural networks
- website
- data mining
- neural network