Skip to contents

  1. Berenbrink, Petra [Editor]; Bouyer, Patricia [Editor]; Dawar, Anuj [Editor]; Kanté, Mamadou Moustapha [Editor] ; International Symposium on Theoretical Aspects of Computer Science 40. 2023 Hamburg

    40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023) : STACS 2023, March 7-9, 2023, Hamburg, Germany

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, March, 2023

    Published in: Leibniz international proceedings in informatics ; 254

  3. Berenbrink, Petra [Author]; Bouyer, Patricia [Author]; Dawar, Anuj [Author]; Kanté, Mamadou Moustapha [Author] ; Petra Berenbrink and Patricia Bouyer and Anuj Dawar and Mamadou Moustapha Kanté [Contributor]

    Front Matter, Table of Contents, Preface, Conference Organization

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  4. Berenbrink, Petra [Author]; Bouyer, Patricia [Author]; Dawar, Anuj [Author]; Kanté, Mamadou Moustapha [Author] ; Petra Berenbrink and Patricia Bouyer and Anuj Dawar and Mamadou Moustapha Kanté [Contributor]

    LIPIcs, Volume 254, STACS 2023, Complete Volume

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  5. Braunfeld, Samuel [Author]; Dawar, Anuj [Author]; Eleftheriadis, Ioannis [Author]; Papadopoulos, Aris [Author] ; Samuel Braunfeld and Anuj Dawar and Ioannis Eleftheriadis and Aris Papadopoulos [Contributor]

    Monadic NIP in Monotone Classes of Relational Structures

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  6. Dawar, Anuj [Author]; Grädel, Erich [Author]; Kolaitis, Phokion G. [Author]; Schwentick, Thomas [Author] ; Anuj Dawar and Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick [Contributor]

    Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  7. Babai, László [Author]; Dawar, Anuj [Author]; Schweitzer, Pascal [Author]; Torán, Jacobo [Author] ; László Babai and Anuj Dawar and Pascal Schweitzer and Jacobo Torán [Contributor]

    The Graph Isomorphism Problem (Dagstuhl Seminar 15511)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  8. Dawar, Anuj [Author]; Grädel, Erich [Author]; Holm, Bjarki [Author]; Kopczynski, Eryk [Author]; Pakusa, Wied [Author] ; Anuj Dawar and Erich Grädel and Bjarki Holm and Eryk Kopczynski and Wied Pakusa [Contributor]

    Definability of linear equation systems over groups and rings

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  15. Dawar, Anuj

    Foreword

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Elsevier BV, 2003

    Published in: Electronic Notes in Theoretical Computer Science

  18. Dawar, Anuj

    Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 (1996), pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Cambridge University Press (CUP), 1998

    Published in: Journal of Symbolic Logic