Login / Signup
-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
Giorgio Delzanno
Cinzia Di Giusto
Maurizio Gabbrielli
Cosimo Laneve
Gianluigi Zavattaro
Published in:
CMSB (2009)
Keyphrases
</>
qualitative analysis
quantitative analysis
content analysis
type checking
expressive power
description logics
fault tree
databases
biological data
lattice structure
query answering
biological systems
molecular biology
target language
language identification
natural language
e learning
machine learning