Zum Inhalt springen

  1. Lück, Martin [VerfasserIn]; Vilander, Mikka [VerfasserIn]

    On the succinctness of atoms of dependency - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2019

    Erschienen in: Logical Methods in Computer Science 15 (2019), Nr. 3

  4. Kontinen, Juha [VerfasserIn]; Sandström, Max [VerfasserIn]; Virtema, Jonni [VerfasserIn] ; Juha Kontinen and Max Sandström and Jonni Virtema [MitwirkendeR]

    Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Krebs, Andreas [VerfasserIn]; Meier, Arne [VerfasserIn]; Virtema, Jonni [VerfasserIn]; Zimmermann, Martin [VerfasserIn] ; Andreas Krebs and Arne Meier and Jonni Virtema and Martin Zimmermann [MitwirkendeR]

    Team Semantics for the Specification and Verification of Hyperproperties

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  10. Hannula, Miika [VerfasserIn]; Virtema, Jonni [VerfasserIn]

    Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.] : Elsevier, 2022

    Erschienen in: Annals of pure and applied logic 173 (2022), Nr. 10 ; Annals of pure and applied logic

  12. Kontinen, Juha [VerfasserIn]; Kuusisto, Antti [VerfasserIn]; Virtema, Jonni [VerfasserIn] ; Juha Kontinen and Antti Kuusisto and Jonni Virtema [MitwirkendeR]

    Decidability of Predicate Logics with Team Semantics

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  13. Kontinen, Juha [VerfasserIn]; Kuusisto, Antti [VerfasserIn]; Virtema, Jonni [VerfasserIn]

    Decidability of predicate logics with team semantics - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken : Dagstuhl Publishing, 2016

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs 58 (2016)

  14. Kontinen, Juha [VerfasserIn]; Mahmood, Yasir [VerfasserIn]; Meier, Arne [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    Parameterized complexity of weighted team definability - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge : Cambridge Univ. Press, 2024

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

  17. Grädel, Erich [VerfasserIn]; Kontinen, Juha [VerfasserIn]; Väänänen, Jouka [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Erich Grädel and Juha Kontinen and Jouka Väänänen and Heribert Vollmer [MitwirkendeR]

    Logics for Dependence and Independence (Dagstuhl Seminar 15261)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  18. Kontinen, Juha [VerfasserIn]; Müller, Julian-Steffen [VerfasserIn]; Schnoor, Henning [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Juha Kontinen and Julian-Steffen Müller and Henning Schnoor and Heribert Vollmer [MitwirkendeR]

    A Van Benthem Theorem for Modal Team Semantics

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  19. Hoelzel, Matthias [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Hella, Lauri [AkademischeR BetreuerIn]

    Fragments of existential second-order logic and logics with team semantics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2019

  20. Lück, Martin [VerfasserIn]

    Canonical models and the complexity of modal team logic - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs 119 (2018)