HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Sunday, December 15, 2019 - 1:07:34 PM
Last modification on : Monday, April 4, 2022 - 9:28:26 AM

Identifiers

  • HAL Id : hal-02412419, version 1

Collections

UNIV-RENNES1 | INRIA | CENTRALESUPELEC | UNIV-RENNES | IRISA | CNRS | UR1-MATH-STIC | UR1-UFR-ISTIC | INSA-RENNES | UR1-MATH-NUM | INRIA2

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 Datacite

Share

Metrics

Record views

45

 

Contact                    Legal Notice                    Personal Data