Juha Kontinen

Person

Latest publications

  1. Complexity of Propositional Logics in Team Semantics

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

    Research output: Scientific - peer-reviewArticle

  2. Polyteam Semantics

    Hannula, M., Kontinen, J. & Virtema, J. 7 Apr 2017 Proceedings of LFCS 2018.

    Research output: Scientific - peer-reviewConference contribution

  3. Accepted/In press

    Approximation and Dependence via Multiteam Semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J. 2017 (Accepted/In press) In : Annals of Mathematics and Artificial Intelligence.

    Research output: Scientific - peer-reviewArticle

View all (59) »

Latest activities

  1. Review

    Kontinen, J. (Consultant)
    10 Jan 2018

    Activity: Consultancy

  2. Logical Foundations of Computer Science 2018

    Kontinen, J. (Speaker: Presenter)
    7 Jan 201811 Jan 2018

    Activity: Participating in or organising an eventOrganisation and participation in conferences, workshops, courses, seminars

  3. Matematiikan päivät 2018

    Kontinen, J. (Attendee)
    4 Jan 20185 Jan 2018

    Activity: Participating in or organising an eventOrganisation and participation in conferences, workshops, courses, seminars

View all (178) »

Latest projects

  1. Algoritmisia lähestymistapoja riippuvuuslogiikkaan

    Kontinen, J.

    01/09/201231/08/2015

    Project: Research project

  2. Algoritmisia lähestymistapoja riippuvuuslogiikkaan

    Kontinen, J.

    01/09/201231/08/2017

    Project: Research project

View all (4) »

Education

Fil. toht., matematiikka

ID: 41241