Volistor Logic Gates in Crossbar Arrays of Rectifying Memristors.

Muayad J. Aljafar Marek A. Perkowski John M. Acken

Published in: Int. J. Unconv. Comput. (2019)

Keyphrases

logic circuits
logic programming
automated reasoning
scheduling algorithm
multi valued
logical framework
classical logic
information systems
search algorithm
modal logic
defeasible logic
nonmonotonic logics
predicate logic
deontic logic
linear array
sound and complete axiomatization