Foto av Jouko Väänänen

Jouko Väänänen

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

1973 …2020

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Publikationer

Filter
Beställd rapport
2015

Logics for Dependence and Independence (Dagstuhl Seminar 15261)

Grädel, E., Kontinen, J., Väänänen, J. & Vollmer, H., 2015, Leibniz: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 16 s.

Forskningsoutput: Bok/rapportBeställd rapportProfessionell

2013

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 10 s. (Dagstuhl Reports; vol. 3, nr. 2)

Forskningsoutput: Bok/rapportBeställd rapportProfessionell