Skip to contents

  2. Herzig, Andreas [Editor]; Kontinen, Juha [Editor]

    Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings - [1st ed. 2020.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2020 ; Cham: Imprint: Springer, 2020

    Published in: Information Systems and Applications, incl. Internet/Web, and HCI ; 12012- Springer eBook Collection

  3. Kontinen, Juha [Author]; Vollmer, Heribert [Author]

    On second-order monadic monoidal and groupoidal quantifiers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2010 ; Hannover: Technische Informationsbibliothek (TIB), 2010

    Published in: Logical Methods in Computer Science ; 6 (2010), Nr. 3, 25

  5. Hofmann, Jana [Author] ; Finkbeiner, Bernd [Degree supervisor]; Kontinen, Juha [Degree supervisor]; Naumann, David [Degree supervisor]

    Logical methods for the hierarchy of hyperlogics

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Saarbrücken, 2022

  9. Kontinen, Juha [Author]; Kuusisto, Antti [Author]; Virtema, Jonni [Author]

    Decidability of predicate logics with team semantics

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2016 ; Hannover: Technische Informationsbibliothek (TIB), 2016

    Published in: Leibniz International Proceedings in Informatics, LIPIcs ; 58 (2016), No. 60

  11. Virtema, Jonni [Author] ; Hannula, Miika [Other]; Kontinen, Juha [Other]; Bussche, Jan Van den [Other]

    Descriptive complexity of real computation and probabilistic independence logic: Q/A Session F - Paper F5.B

    Videos
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Published in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)

  13. Kontinen, Juha [Author]; Mahmood, Yasir [Author]; Meier, Arne [Author]; Vollmer, Heribert [Author]

    Parameterized complexity of weighted team definability

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2024 ; Hannover: Technische Informationsbibliothek (TIB), 2024

    Published in: Mathematical Structures in Computer Science ( ; 2024), online first

  15. Virtema, Jonni [Author]; Hofmann, Jana [Author]; Finkbeiner, Bernd [Author]; Kontinen, Juha [Author]; Yang, Fan [Author]

    Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2021 ; Hannover: Technische Informationsbibliothek (TIB), 2021

  16. Virtema, Jonni [Author]; Hofmann, Jana [Author]; Finkbeiner, Bernd [Author]; Kontinen, Juha [Author]; Yang, Fan [Author] ; Jonni Virtema and Jana Hofmann and Bernd Finkbeiner and Juha Kontinen and Fan Yang [Contributor]

    Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  17. Hannula, Miika [Author]; Kontinen, Juha [Author]; Lück, Martin [Author]; Virtema, Jonni [Author]

    On the complexity of horn and krom fragments of second-order boolean logic

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2021 ; Hannover: Technische Informationsbibliothek (TIB), 2021