Skip to contents

  1. Ebbinghaus, Heinz-Dieter [Author]; Flum, Jörg [Author]

    Finite model theory - [2., rev. and enl. ed]

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 1999

    Published in: Perspectives in mathematical logic

  2. Libkin, Leonid [Author]

    Elements of finite model theory

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Published in: Texts in theoretical computer science ; an EATCS series

  3. Heinig, Peter Christian [Author] ; Taraz, Anusch [Contributor]; Taraz, Anusch ;Gantert, Nina ;Krivelevich, Michael [Contributor]

    Global consequences of local structure ; Globale Konsequenzen lokaler Struktur

    Thesis
    View online
    Close

    Bookmarks

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

    Technical University of Munich; Technische Universität München, 2014-09-22

  4. Baudisch, Andreas [Author]; Hils, Martin [Author]; Martin-Pizarro, Amador [Author]; Wagner, Frank O. [Author]

    Die böse Farbe

    Articles
    View online
    Close

    Bookmarks

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

    Humboldt-Universität zu Berlin, 2007-12-11

  5. Siebertz, Sebastian [Author] ; Kreutzer, Stephan [Other]; Ossona de Mendez, Patrice [Other]; Král’, Daniel [Other]

    Nowhere dense classes of graphs : characterisations and algorithmic meta-theorems

    Books
    View online
    Close

    Bookmarks

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

    Berlin: Universitätsverlag der TU Berlin, 2016

    Published in: Foundations of computing ; 5

  6. Laubner, Bastian [Author] ; Grohe, Martin [Contributor]; Grädel, Erich [Contributor]; Dawar, Anuj [Contributor]

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

    Thesis
    View online
    Close

    Bookmarks

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

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

  7. Ebbinghaus, Heinz-Dieter [Editor]; Flum, Jörg [Editor]; Gurevich, Yuri [Editor]

    Endliche Modelltheorie : 08.02.-14.02.1998

    Books
    View online
    Close

    Bookmarks

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

    Oberwolfach-Walke: Mathematisches Forschungsinstitut, 1998 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

    Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1998,6

  8. Ebbinghaus, Heinz-Dieter [Editor]; Flum, Jörg [Editor]; Gurevich, Yuri [Editor]

    Endliche Modelltheorie : 27.03. bis 02.04.1994

    Books
    View online
    Close

    Bookmarks

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

    Oberwolfach-Walke: Mathematisches Forschungsinstitut, 1994 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

    Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1994,14