Zum Inhalt springen

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

  2. Huschenbett, Martin [VerfasserIn] ; Kuske, Dietrich [MitwirkendeR]; Lohrey, Markus [MitwirkendeR]; Grädel, Erich [MitwirkendeR]

    The model-theoretic complexity of automatic linear orders

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

    Digital Library Thüringen, 2015-11-25

  3. Laubner, Bastian [VerfasserIn] ; Grohe, Martin [MitwirkendeR]; Grädel, Erich [MitwirkendeR]; Dawar, Anuj [MitwirkendeR]

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

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

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

  4. Flum, Jörg [HerausgeberIn]; Grädel, Erich [HerausgeberIn]; Wilke, Thomas [HerausgeberIn]

    Logic and Automata : History and Perspectives

    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.

    [Erscheinungsort nicht ermittelbar]: Amsterdam University Press, 2008

    Erschienen in: Texts in Logic and Games

  5. Brinke, Sophie [VerfasserIn]; Grädel, Erich [VerfasserIn]; Mrkonjić, Lovro [VerfasserIn] ; Sophie Brinke and Erich Grädel and Lovro Mrkonjić [MitwirkendeR]

    Ehrenfeucht-Fraïssé Games in Semiring 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, 2024

  6. Bizière, Clotilde [VerfasserIn]; Grädel, Erich [VerfasserIn]; Naaf, Matthias [VerfasserIn] ; Clotilde Bizière and Erich Grädel and Matthias Naaf [MitwirkendeR]

    Locality Theorems in Semiring 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, 2023

  7. Dawar, Anuj [VerfasserIn]; Grädel, Erich [VerfasserIn]; Pakusa, Wied [VerfasserIn] ; Anuj Dawar and Erich Grädel and Wied Pakusa [MitwirkendeR]

    Approximations of Isomorphism and Logics with Linear-Algebraic Operators (Track B: Automata, Logic, Semantics, and Theory of Programming)

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

  10. Abu Zaid, Faried [VerfasserIn]; Grädel, Erich [VerfasserIn]; Kaiser, Lukasz [VerfasserIn] ; Faried Abu Zaid and Erich Grädel and Lukasz Kaiser [MitwirkendeR]

    The Field of Reals is not omega-Automatic

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

  12. Grädel, Erich [VerfasserIn]; Lücking, Niels [VerfasserIn]; Naaf, Matthias Ferdinand [VerfasserIn]

    Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

    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. Abu Zaid, Faried [VerfasserIn]; Grädel, Erich [VerfasserIn]; Reinhardt, Frédéric [VerfasserIn]

    Advice Automatic Structures and Uniformly Automatic Classes

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

  14. Abu Zaid, Faried [VerfasserIn]; Grädel, Erich [VerfasserIn]; Reinhardt, Frederic [VerfasserIn]

    Advice automatic structures and uniformly automatic classes

    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.

    August 2017

    Erschienen in: Computer Science Logic (26 : 2017 : Stockholm): Computer Science Logic 2017 ; 2017

  16. Grädel, Erich [VerfasserIn]; Pago, Benedikt [VerfasserIn]; Pakusa, Wied [VerfasserIn]

    The Model-Theoretic Expressiveness of Propositional Proof Systems

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

  17. Grädel, Erich [VerfasserIn]; Kolaitis, Phokion G. [VerfasserIn]; Noy, Marc [VerfasserIn]; Naaf, Matthias [VerfasserIn] ; Erich Grädel and Phokion G. Kolaitis and Marc Noy and Matthias Naaf [MitwirkendeR]

    Logic and Random Discrete Structures (Dagstuhl Seminar 22061)

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

  18. Dannert, Katrin M. [VerfasserIn]; Grädel, Erich [VerfasserIn]; Naaf, Matthias [VerfasserIn]; Tannen, Val [VerfasserIn] ; Katrin M. Dannert and Erich Grädel and Matthias Naaf and Val Tannen [MitwirkendeR]

    Semiring Provenance for 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, 2021

  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

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

  20. Dawar, Anuj [VerfasserIn]; Grädel, Erich [VerfasserIn]; Kolaitis, Phokion G. [VerfasserIn]; Schwentick, Thomas [VerfasserIn] ; Anuj Dawar and Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick [MitwirkendeR]

    Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

    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