Pseudoknots Prediction on RNA Secondary Structure Using Term Rewriting.

Linkon Chowdhury Mohammad Ibrahim Khan

Published in: IWBBIO (1) (2015)

Keyphrases

rna secondary structure prediction
term rewriting
rna secondary structures
secondary structure
rna sequences
theorem proving
operational semantics
theorem prover
edit distance
databases
rna structures
event detection
dna sequences
computational biology
stochastic context free grammars