Publications HAL du labo/EPI IHPST

2021

titre
Numerical instability and dynamical systems
auteur
Vincent Ardourel, Julie Jebeile
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03199593/file/Ardourel%20Jebeile%20EJPS%202021%20preprint.pdf BibTex
titre
Defining Formal Explanation in Classical Logic by Substructural Derivability
auteur
Francesco Genco, Francesca Poggiolesi
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03192655/file/grounding-substructural-LNCS.pdf BibTex
titre
Towards a generalization of the logic of grounding
auteur
Francesca Poggiolesi, N. Francez
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02860310/file/generalization13.pdf BibTex