A Semiparallel Full-Adder in IMPLY Logic.

Shokat Ganjeheizadeh Rohani Nima Taherinejad David Radakovits

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2020)

Keyphrases

logic circuits
logic programming
classical logic
predicate logic
modal logic
computational properties
asynchronous circuits
data mining
website
low power
defeasible logic
logic synthesis