Grenzen der Methoden zum Lösen von Constrained Horn Clauses

01.12.2026 - 30.11.2028
Research funding project

People

Project leader

Institute

Förderungmittel

  • Österr. Akademie der Wissenschaften (National) DOC Österreichische Akademie der Wissenschaften (ÖAW)

Research focus

  • Fundamental Mathematics Research: 20%
  • Logic and Computation: 80%

Publications