DNA-based logic.

Gerald G. Owenson Martyn Amos David A. Hodgson Alan Gibbons

Published in: Soft Comput. (2001)

Keyphrases

logic programming
modal logic
proof theory
dna computing
dna sequences
multi valued
sound and complete axiomatization
classical logic
data sets
real time
expressive power
database
probabilistic logic
information systems
defeasible logic
sequence analysis
predicate logic
information retrieval