Quick search
Advanced search in
Research outcomes
Field to searchTerm
Add rule
Filters (5)
Filters
Clear All

COVID-19 Software Other research products 2021-2021 Lecture Mémoires en Sciences de l'Informat... Hal-Diderot COVID-19

The following results are related to COVID-19. Are you interested to view more results? Visit OpenAIRE - Explore.
Download Results
1 research outcomes, 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; Straßburger, 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.

1 research outcomes, page 1 of 1