Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Second-Order Reflection on Ordinals
01.05.2022 - 31.01.2027
Research funding project
People
Project leader
Juan Pablo Aguilera Ozuna
(E104-02)
Institute
E104-02 - Research Unit of Computational Logic
Grant funds
FWF - Ă–sterr. Wissenschaftsfonds (National)
ESPRIT
Austrian Science Fund (FWF)
Research focus
Logic and Computation: 100%
Publications
Publications