Juha Kontinen

Person

Latest publications

  1. Complexity of Propositional Logics in Team Semantics

    Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H. Jan 2018 In : ACM Transactions on Computational Logic. 19, 1, 14 p., 2

    Research output: Contribution to journalArticle

  2. E-pub ahead of print

    Approximation and Dependence via Multiteam Semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J. 2018 In : Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticle

  3. Polyteam Semantics

    Hannula, M., Kontinen, J. & Virtema, J. 2018 Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Springer, Vol. 2018, p. 190–210 21 p. (Lecture Notes in Computer Science; vol. 10703)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (60) »

Latest activities

  1. Anselm Haak

    Kontinen, J. (Host)
    12 Mar 201816 Mar 2018

    Activity: Hosting a visitorAcademic visit at UH

  2. Fabian Müller

    Kontinen, J. (Host)
    12 Mar 201816 Mar 2018

    Activity: Hosting a visitorAcademic visit at UH

  3. Heribert Vollmer

    Kontinen, J. (Host)
    12 Mar 201816 Mar 2018

    Activity: Hosting a visitorAcademic visit at UH

View all (185) »

Latest projects

  1. Algoritmisia lähestymistapoja riippuvuuslogiikkaan

    Kontinen, J.

    SUOMEN AKATEMIA

    01/09/201531/08/2017

    Project: Research project

  2. Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021

    Kontinen, J.

    SUOMEN AKATEMIA

    01/09/201731/08/2021

    Project: Research project

View all (8) »

Education

Fil. toht., matematiikka

ID: 41241