Key points are not available for this paper at this time.
L'atelier ‘Logique Mathématique : Théorie des Preuves, Mathématiques Constructives’ s'est concentré sur la recherche liée à la théorie des preuves sur les fondements des mathématiques, sur l'extraction de contenu computationnel explicite à partir de preuves données dans des domaines fondamentaux des mathématiques ordinaires, en utilisant des méthodes de théorie des preuves ainsi que sur des sujets liés à la complexité des preuves. L'atelier a contribué aux axes de recherche suivants :
Buss et al. (Tue,) ont étudié cette question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: