Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Proof-theoretical Aspects of Well Quasi-orders and Phase Transitions in Arithmetical Provability

Output en outcomes

Code

DOCT/002831

Looptijd

16-12-2022 → 11-04-2024 (Verdedigd)

Doctoraal onderzoeker

Gabriele Buriola

Onderzoeksdisciplines

Niet beschikbaar

Projectomschrijving

Niet beschikbaar