Reversible arithmetic logic unit

Rigui Zhou Yang Shi Manqun Zhang

Published in: CoRR (2011)

Keyphrases

micron cmos
cellular automata
logic programming
classical logic
modal logic
multi valued
markov chain
automated reasoning
logic synthesis
multiscale
database
floating point
social networks
probabilistic logic
data sets
computational properties
real time