The electron waveguide y-branch switch: a review and arguments for its use as a base for reversible logic.
Erik ForsbergPublished in: Conf. Computing Frontiers (2005)
Keyphrases
- waveguide
- markov chain
- high speed
- cellular automata
- proof procedures
- high data rate
- logic based argumentation
- modal logic
- multi valued
- classical logic
- defeasible logic
- electron microscopy
- proof theory
- inference rules
- argumentation theory
- computer simulation
- automated reasoning
- electric field
- asynchronous circuits
- legal argument
- logic programming