Nested Sequents for Interpolation and Realization

01.02.2015 - 31.01.2017
Research funding project

People

Project leader

Institute

Grant funds

  • Vereine, Stiftungen, Preise Type of funder Vereine, Stiftungen, Preise Call identifier Lise-Meitner-Stelle Specific program FWF

Research focus

  • Computational Intelligence: 100%

Publications