Skip to contents

  6. Wilke, Richard Marlon [Author] ; Grädel, Erich [Degree supervisor]; Lakemeyer, Gerhard [Degree supervisor]; Väänänen, Jouko [Degree supervisor]

    Reasoning about dependence and independence : teams and multiteams

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  8. Lang, Martin Ulrich [Author] ; Löding, Christof [Degree supervisor]; Colcombet, Thomas [Degree supervisor]; Grädel, Erich [Degree supervisor]

    Boundedness problems in resource games, logics and automatic structures

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2016

  13. Laubner, Bastian [Author] ; Grohe, Martin [Degree supervisor]; Grädel, Erich [Degree supervisor]; Dawar, Anuj [Degree supervisor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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