Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
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.
Onderzoeker
Lukas Matthias Zenger
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
1
Resultaat
2024
A sound and complete axiomatisation for intuitionistic linear temporal logic
David Fernández-Duque
Brett McLean
Lukas Matthias Zenger
C1
Conferentie
2024