Zum Inhalt springen

  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

    Zugang

    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. Galliani, Pietro [VerfasserIn]; Hella, Lauri [VerfasserIn] ; Pietro Galliani and Lauri Hella [MitwirkendeR]

    Inclusion Logic and Fixed Point Logic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

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

  9. Tritschler, Marius [VerfasserIn] ; Marius Tritschler [MitwirkendeR]

    Guarded Hybrid Team Logics

    Aufsätze
    Online ansehen
    Schließen

    Zugang

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

  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

    Zugang

    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

  11. Grädel, Erich [VerfasserIn]; Hegselmann, Stefan [VerfasserIn] ; Erich Grädel and Stefan Hegselmann [MitwirkendeR]

    Counting in Team Semantics

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  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

    Zugang

    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

  15. Grädel, Erich [VerfasserIn]; Hoelzel, Matthias [VerfasserIn] ; Erich Grädel and Matthias Hoelzel [MitwirkendeR]

    Dependency Concepts up to Equivalence

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  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

    Zugang

    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

    Zugang

    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