Miika Hannula

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 (17) »

ID: 25926302