Zum Inhalt springen

  1. Berkholz, Christoph [Verfasser:in]; Kuske, Dietrich [Verfasser:in]; Schwarz, Christian [Verfasser:in] ; Christoph Berkholz and Dietrich Kuske and Christian Schwarz [Mitwirkende:r]

    Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form

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

  4. Harel, David [Verfasser:in]; Katz, Guy [Verfasser:in]; Lampert, Robby [Verfasser:in]; Marron, Assaf [Verfasser:in]; Weiss, Gera [Verfasser:in] ; David Harel and Guy Katz and Robby Lampert and Assaf Marron and Gera Weiss [Mitwirkende:r]

    On the Succinctness of Idioms for Concurrent Programming

    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

  5. Artale, Alessandro [Verfasser:in]; Geatti, Luca [Verfasser:in]; Gigante, Nicola [Verfasser:in]; Mazzullo, Andrea [Verfasser:in]; Montanari, Angelo [Verfasser:in] ; Alessandro Artale and Luca Geatti and Nicola Gigante and Andrea Mazzullo and Angelo Montanari [Mitwirkende:r]

    LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa

    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. Bozzelli, Laura [Verfasser:in]; Montanari, Angelo [Verfasser:in]; Peron, Adriano [Verfasser:in] ; Laura Bozzelli and Angelo Montanari and Adriano Peron [Mitwirkende:r]

    Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal 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, 2019

  8. Angluin, Dana [Verfasser:in]; Antonopoulos, Timos [Verfasser:in]; Fisman, Dana [Verfasser:in] ; Dana Angluin and Timos Antonopoulos and Dana Fisman [Mitwirkende:r]

    Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries

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

  9. Baumann, Pascal [Verfasser:in]; Majumdar, Rupak [Verfasser:in]; Thinniyam, Ramanathan S. [Verfasser:in]; Zetzsche, Georg [Verfasser:in] ; Pascal Baumann and Rupak Majumdar and Ramanathan S. Thinniyam and Georg Zetzsche [Mitwirkende:r]

    The Complexity of Bounded Context Switching with Dynamic Thread Creation

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

  12. Lück, Martin [Verfasser:in]; Vilander, Mikka [Verfasser:in]

    On the succinctness of atoms of dependency

    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.

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

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

  17. Boker, Udi [Verfasser:in]; Kuperberg, Denis [Verfasser:in]; Lehtinen, Karoliina [Verfasser:in]; Skrzypczak, Michał [Verfasser:in] ; Udi Boker and Denis Kuperberg and Karoliina Lehtinen and Michał Skrzypczak [Mitwirkende:r]

    On the Succinctness of Alternating Parity Good-For-Games Automata

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