Formal Analysis of Rewriting System Representing RNA Folding.

Krishnendu Ghosh Julia Goldman

Published in: BIOINFORMATICS (2023)

Keyphrases

formal analysis
rna secondary structure prediction
agent model
formal methods
database
ban logic
conjunctive queries
genome wide
machine learning
low cost
knowledge based systems
model checking
secondary structure