Algebraic Characterization of Reversible Logic Gates.

Xiaoyu Song Guowu Yang Marek A. Perkowski Yuke Wang

Published in: Theory Comput. Syst. (2006)

Keyphrases

logic circuits
cellular automata
computer algebra
algebraic structure
data sets
logic synthesis
multi valued
automated reasoning
modal logic
logic programming
markov chain
mathematical theory
real time
logical framework
classical logic
computational properties
nonmonotonic logics
predicate logic
databases