Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Interpolation properties for first-order Gödel logics
01.04.2019 - 30.06.2022
Research funding project
People
Project leader
Matthias Baaz
(E104-02)
Institute
E104-02 - Research Unit of Computational Logic
Grant funds
FWF - Österr. Wissenschaftsfonds (National)
Stand-Alone Project
Austrian Science Fund (FWF)
Call identifier P 31955
Research focus
Beyond TUW-research focus: 100%
Publications
Publications