Group Theoretical Aspects of Reversible Logic Gates.

Leo Storme Alexis De Vos Gerald Jacobs

Published in: J. Univers. Comput. Sci. (1999)

Keyphrases

logic circuits
markov chain
group members
computational properties
logic programs
modal logic
proof theory
data sets
asynchronous circuits
formal theory
predicate logic
classical logic
multi valued
logic programming
low cost
search algorithm
decision trees
neural network