Login / Signup
'Memristive' switches enable 'stateful' logic operations via material implication.
Julien Borghetti
Gregory S. Snider
Philip Kuekes
J. Joshua Yang
Duncan R. Stewart
R. Stanley Williams
Published in:
Nat. (2010)
Keyphrases
</>
logical operations
logical implication
logic programming
multi valued
classical logic
database
functional dependencies
modal logic
proof theory
probability theory
automated reasoning
deontic logic
delay insensitive
publish subscribe
set theory
defeasible logic
back end
search algorithm
data sets
real time