Login / Signup
Factored Forms for Memristive Material Implication Stateful Logic.
Felipe S. Marranghello
Vinicius Callegaro
Mayler G. A. Martins
André Inácio Reis
Renato P. Ribas
Published in:
IEEE J. Emerg. Sel. Topics Circuits Syst. (2015)
Keyphrases
</>
logic programming
databases
predicate logic
digital circuits
functional dependencies
modal logic
multi valued
horn clauses
classical logic
publish subscribe
epistemic logic
set theory
defeasible logic
integrity constraints
fuzzy sets
description logics
data model