Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
From Semantic Games to Analytic Calculi – and Back
28.07.2019 - 30.04.2023
Research funding project
People
Project leader
Christian Fermüller
(E192-05)
Institute
E192-05 - Research Unit of Theory and Logic
Grant funds
FWF - Österr. Wissenschaftsfonds (National)
Stand-Alone Project
Austrian Science Fund (FWF)
Research focus
Computer Science Foundations: 100%
Publications
Publications