DNA Ion Detector and Logic Circulation Amplification Model Based on Mercury and Silver Ions.

Bingjie Guo Luhui Wang Tao Wu Yafei Dong

Published in: Fundam. Informaticae (2019)

Keyphrases

data driven
logic programming
dna sequences
modal logic
multi valued
sequence analysis
biological sequences
neural network
automated reasoning
detection method
dna computing
model free
binding sites
probabilistic logic
logical framework
protein sequences
set theory
digital circuits
formal theory
proof theory