OpenAIRE | Other research products | Lecture | HAL AMU | INRIA a CCSD electronic archive server | COVID-19 | Advanced Search for Research Products

Include:

Publications

Research data

Research software

Other research products

3 Research products, page 1 of 1

Other research product . Lecture . 2021
From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem
English
Authors:
Heijltjes, Willem; Strassburger, Lutz;
Heijltjes, Willem; Strassburger, Lutz;
Publisher: HAL CCSD
Country: France
École thématique; These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021. The summer school was planned to be held in Utrecht, but due the the Covid-19 crises it has been held online via Zoom.
Other research product . Lecture . 2020
COVID-19 et rein : épisode 2
French
Authors:
Burtey, Stéphane;
Burtey, Stéphane;
Publisher: HAL CCSD
Country: France
Doctoral; Support présenté lors du 2ème webinaire COVID néphrologique organisé par la SFNDT le 24/03/2020.
Other research product . Lecture . 2020
COVID-19 et rein
French
Authors:
Burtey, Stéphane;
Burtey, Stéphane;
Publisher: HAL CCSD
Country: France
Doctoral; Support présenté lors du webinaire COVID néphrologique organisé par la SFNDT en mars 2020.

Powered by OpenAIRE Research Graph

Send a message

How can we help?

We usually respond in a few hours.

Name ^*

Surname ^*

Email ^*

Affiliation

Comments ^*