Squaring in Reversible Logic Using Zero Garbage and Reduced Ancillary Inputs.

Arindam Banerjee Debesh Kumar Das

Published in: VLSI Design (2016)

Keyphrases

cellular automata
modal logic
logic programming
information systems
garbage collection
nonmonotonic logics
computational properties
multi valued
markov chain
classical logic
input data
website
digital circuits
real time
proof theory
sound and complete axiomatization
reversible watermarking