Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

Publications 2002 2019

Filter
Commissioned report
2019

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Grädel, E., Kolaitis, P. G., Kontinen, J. & Vollmer, H., 2019, 19 p.

Research output: Book/ReportCommissioned reportProfessional

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