MESL: Proposal for a Non-volatile Cascadable Magneto-Electric Spin Logic.

Akhilesh Jaiswal Kaushik Roy

Published in: CoRR (2016)

Keyphrases

main memory
data storage
logic programming
file system
computational properties
asynchronous circuits
sound and complete axiomatization
modal logic
automated reasoning
multi valued
classical logic
abductive reasoning
management system
magnetic field
deontic logic
delay insensitive