Arithmetic and logic operations with DNA.

Vineet Gupta Srinivasan Parthasarathy Mohammed J. Zaki

Published in: DNA Based Computers (1997)

Keyphrases

arithmetic operations
logical operations
dna computing
micron cmos
modal logic
logic programming
classical logic
computational properties
quantifier free
asynchronous circuits
predicate logic
database
multi valued
floating point
defeasible logic
truth values
automated reasoning
information systems
genetic algorithm