Schematic Invariants by Reduction to Ground Invariants

Hakutulokset

• Päättynyt

  Suomalainen laskennallisen päättelyn huippuyksikkö

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

  01/01/2015 → 31/12/2017

  Projekti: Academy of Finland: Other research funding

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