Schematic Invariants by Reduction to Ground Invariants

Hakutulokset

• Päättynyt

  Suomalainen laskennallisen päättelyn huippuyksikkö

  Xu, Y. (Projektin jäsen), Rintanen, J. (Projektin jäsen), Kaski, S. (Vastuullinen tutkija), Anwer, R. (Projektin jäsen), Parviainen, P. (Projektin jäsen), Soare, M. (Projektin jäsen), Vuollekoski, H. (Projektin jäsen), Rezazadegan Tavakoli, H. (Projektin jäsen), Peltola, T. (Projektin jäsen), Blomstedt, P. (Projektin jäsen), Puranen, S. (Projektin jäsen), Dutta, R. (Projektin jäsen), Gebser, M. (Projektin jäsen), Mononen, T. (Projektin jäsen), Bogaerts, B. (Projektin jäsen), Tasharrofi, S. (Projektin jäsen), Pesonen, H. (Projektin jäsen), Weinzierl, A. (Projektin jäsen) & Yang, Z. (Projektin jäsen)

  01/01/2015 → 31/12/2017

  Projekti: Academy of Finland: Other research funding

  • Models 100%
  • Evaluation 45%
  • Representation 37%
  • Contexts 32%
  • User 30%