Zum Inhalt springen

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

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

  9. Albert, Rafael [VerfasserIn]; Grädel, Erich [VerfasserIn]

    Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence

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

  13. Wilke, Richard Marlon [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Väänänen, Jouko [AkademischeR BetreuerIn]

    Reasoning about dependence and independence : teams and multiteams

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

  14. Dittmann, Christoph [VerfasserIn] ; Kreutzer, Stephan [Sonstige Person, Familie und Körperschaft]; Grädel, Erich [Sonstige Person, Familie und Körperschaft]; Nestmann, Uwe [Sonstige Person, Familie und Körperschaft]

    Parity games, separations, and the modal μ-calculus

    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.

    Berlin: Universitätsverlag der TU Berlin, 2017

    Erschienen in: Foundations of computing ; 9

  15. Winter, Sarah [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn]; Puppis, Gabriele [AkademischeR BetreuerIn]

    Synthesis of transducers from relations on finite words and trees

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

  16. Lang, Martin Ulrich [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Colcombet, Thomas [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn]

    Boundedness problems in resource games, logics and automatic structures

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

  17. Leßenich, Simon Robert [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Bojańczyk, Mikołaj [AkademischeR BetreuerIn]; Thomas, Wolfgang [AkademischeR BetreuerIn]

    Counting logics and games with counters

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

  18. Pakusa, Wied [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Otto, Martin [AkademischeR BetreuerIn]; Dawar, Anuj [AkademischeR BetreuerIn]

    Linear equation systems and the search for a logical characterisation of polynomial time

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

  19. Huschenbett, Martin [VerfasserIn] ; Kuske, Dietrich [AkademischeR BetreuerIn]; Lohrey, Markus [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn]

    ˜Theœ model-theoretic complexity of automatic linear orders

    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.

    Ilmenau: Universitätsbibliothek Ilmenau, 2016

  20. Laubner, Bastian [VerfasserIn] ; Grohe, Martin [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn]; Dawar, Anuj [AkademischeR BetreuerIn]

    ˜Theœ structure of graphs and new logics for the characterization of Polynomial Time

    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.

    Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011