Zum Inhalt springen

  4. Lück, Martin [VerfasserIn]; Goranko, Valentin [VerfasserIn]; Dam, Mads [VerfasserIn]

    The power of the filtration technique for modal 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.

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

    Erschienen in: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) ; Leibniz international proceedings in informatics : LIPIcs ; 82

  7. Gardy, Patrick [VerfasserIn]; Bouyer, Patricia [VerfasserIn]; Markey, Nicolas [VerfasserIn] ; Patrick Gardy and Patricia Bouyer and Nicolas Markey [MitwirkendeR]

    Dependences in Strategy Logic

    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

  8. 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

  10. 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

  11. 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

  12. Sano, Katsuhiko [VerfasserIn]; Virtema, Jonni [VerfasserIn]

    Axiomatizing propositional dependence logics - [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 für Informatik GmbH, 2015

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)

  13. 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

  14. Mahmood, Yasir [VerfasserIn]; Meier, Arne [VerfasserIn]

    Parameterised complexity of model checking and satisfiability in propositional dependence 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.

    Dordrecht [u.a.] : Springer Science + Business Media B.V, 2021

    Erschienen in: Annals of mathematics and artificial intelligence 90 (2022), Nr. 2-3 ; Annals of mathematics and artificial intelligence

  17. Ebbing, Johannes [VerfasserIn]; Kontinen, Juha [VerfasserIn]; Mueller, Julian-Steffen [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    A fragment of dependence logic capturing polynomial time - [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 : Tech. Univ. Braunschweig, 2014

    Erschienen in: Logical Methods in Computer Science 10 (2014), Nr. 3

  18. 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)

  19. Grädel, Erich [VerfasserIn]; Kolaitis, Phokion G. [VerfasserIn]; Kontinen, Juha [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Erich Grädel and Phokion G. Kolaitis and Juha Kontinen and Heribert Vollmer [MitwirkendeR]

    Logics for Dependence and Independence (Dagstuhl Seminar 19031)

    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, 2019

  20. 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