Foundations of Reasoning in the Shape Constraint Language

15.12.2021 - 14.01.2026
Research funding project

People

Project leader

Institute

Grant funds

  • FWF - Ă–sterr. Wissenschaftsfonds (National) Firnberg Program Austrian Science Fund (FWF)

Research focus

  • Computer Science Foundations: 100%

Publications