Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022020

Research output per year

If you made any changes in Pure these will be visible here soon.

Publications

Filter
Commissioned report
2019

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Grädel, E., Kolaitis, P. G., Kontinen, J. & Vollmer, H., 19 Jun 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 19 p. (Dagstuhl Reports; vol. 9, no. 1)

Research output: Book/ReportCommissioned reportProfessional

Open Access
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 p.

Research output: Book/ReportCommissioned reportProfessional

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 p. (Dagstuhl Reports; vol. 3, no. 2)

Research output: Book/ReportCommissioned reportProfessional