Projektleiter_in

• Robert Ganian (E192-01)

Subprojektleiter_in

• Martin Nöllenburg (E192-01)

Grant funds

• WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Information and Communication Technologies Vienna Science and Technology Fund (WWTF)

Forschungsschwerpunkte

• Logic and Computation: 100%

Publikationen

• Publikationsliste