Material Targets for Scaling All Spin Logic

Sasikanth Manipatruni Dmitri E. Nikonov Ian A. Young

Published in: CoRR (2012)

Keyphrases

modal logic
database
logic programming
classical logic
automated reasoning
asynchronous circuits
neural network
information retrieval
target detection
multi valued
multi target
real time
real world
digital circuits
predicate logic
sound and complete axiomatization