RNA Pseudoknot Prediction Using Term Rewriting.

Xuezheng Fu Hao Wang William L. Harrison Robert W. Harrison

Published in: BIBE (2005)

Keyphrases

term rewriting
theorem proving
theorem prover
prediction accuracy
rna secondary structure prediction
operational semantics
knuth bendix
prediction error
prediction model
databases
training data