Emitter-coupled spin-transistor logic.

Joseph S. Friedman John A. Peters Gokhan Memik Bruce W. Wessels Alan V. Sahakian

Published in: J. Parallel Distributed Comput. (2014)

Keyphrases

room temperature
high speed
logic programming
classical logic
integrated circuit
modal logic
high density
automated reasoning
low power
logical framework
proof theory
abductive reasoning
machine learning
digital circuits
predicate logic
formal theory
epistemic logic
dynamic logic