An improved charge-sharing elimination pseudo-domino logic.

Sapna Rani Ghimiray Preetisudha Meher Pranab Kishore Dutta

Published in: Int. J. Circuit Theory Appl. (2020)

Keyphrases

information sharing
classical logic
logic programming
modal logic
automated reasoning
multi valued
predicate logic
website
data sharing
sound and complete axiomatization
data mining
proof theory
deontic logic
information dissemination
computational properties
multiple users
bayesian networks
artificial intelligence