Synthesizing multiplier in reversible logic.

Sebastian Offermann Robert Wille Gerhard W. Dueck Rolf Drechsler

Published in: DDECS (2010)

Keyphrases

cellular automata
predicate logic
markov chain
modal logic
floating point
multi valued
website
abductive reasoning
genetic algorithm
multi agent
logic programming
classical logic
deontic logic
sound and complete axiomatization