A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.
Kaustuv ChaudhuriJoëlle DespeyrouxPublished in: CoRR (2013)
Keyphrases
- molecular biology
- linear logic
- transition systems
- model checking
- concurrent systems
- computational biology
- biological data
- protein structure
- finite state
- temporal logic
- fixed point
- microarray
- desirable properties
- practical reasoning
- control flow
- logical framework
- logic programming
- high throughput
- artificial intelligence
- inference rules
- database
- protein sequences
- general purpose