Nested Sequents for Interpolation and Realization

01.02.2015 - 31.01.2017
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

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

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Publikationen