Skip to Main content Skip to Navigation
Conference papers

Using automated reasoning to explore unconventional organisms: a first step to explore host-microbial interactions

Anne Siegel 1
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-02412419
Contributor : Anne Siegel <>
Submitted on : Sunday, December 15, 2019 - 1:07:34 PM
Last modification on : Thursday, January 7, 2021 - 4:39:51 PM

Identifiers

  • HAL Id : hal-02412419, version 1

Collections

UNIV-RENNES1 | INRIA | CENTRALESUPELEC | UNIV-RENNES | IRISA | CNRS | UR1-UFR-ISTIC | INSA-RENNES

Citation

Anne Siegel. Using automated reasoning to explore unconventional organisms: a first step to explore host-microbial interactions. MPA 2019 - Conference on Metabolic Pathway Analysis, Aug 2019, Riga, Latvia. ⟨hal-02412419⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

46

 

Contact                    Legal Notice                    Personal Data