Miika Hannula

Person

Latest publications

  1. Polyteam Semantics

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

    Research output: Scientific - peer-reviewConference contribution

  2. On the Interaction of Inclusion Dependencies with Independence Atoms

    Hannula, M. J., Kontinen, J. A. & Link, S. 2017 Logic for Programming, Artificial Intelligence, and Reasoning - 21th International Conference, LPAR-20 2017. Eiter, T. & Sands, . D. (eds.). EasyChair Publications, Vol. 46, p. 212--226 (EPiC Series in Computing)

    Research output: Scientific - peer-reviewConference contribution

  3. A finite axiomatization of conditional independence and inclusion dependencies

    Hannula, M. & Kontinen, J. Aug 2016 In : Information and Computation. 249, p. 121 - 137 17 p.

    Research output: Scientific - peer-reviewArticle

View all (15) »

ID: 25926302