Project leader

• Reinhard Pichler (E192-02)

Sub project leader

• Matthias Paul Lanzinger (E192-02)

Förderungmittel

• WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Informations- und Kommunikationstechnologien Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)

Research focus

• Logic and Computation: 100%

Publications

• Publications