Sub kBT micro electromechanical irreversible logic gate.

Miquel Lopez-Suarez Igor Neri Luca Gammaitoni

Published in: CoRR (2015)

Keyphrases

classical logic
logical framework
multi valued
machine learning
formal theory
automated reasoning
modal logic
logic programming
case study
probability theory
computational properties
defeasible logic
set theory
data sets
asynchronous circuits
linear logic
proof theory
nano scale