Zum Inhalt springen

  1. Braunfeld, Samuel [Verfasser:in]; Dawar, Anuj [Verfasser:in]; Eleftheriadis, Ioannis [Verfasser:in]; Papadopoulos, Aris [Verfasser:in] ; Samuel Braunfeld and Anuj Dawar and Ioannis Eleftheriadis and Aris Papadopoulos [Mitwirkende:r]

    Monadic NIP in Monotone Classes of Relational Structures

    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.

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

  2. Dawar, Anuj [Verfasser:in]; Grädel, Erich [Verfasser:in]; Kolaitis, Phokion G. [Verfasser:in]; Schwentick, Thomas [Verfasser:in] ; Anuj Dawar and Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick [Mitwirkende:r]

    Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

    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.

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

  3. Babai, László [Verfasser:in]; Dawar, Anuj [Verfasser:in]; Schweitzer, Pascal [Verfasser:in]; Torán, Jacobo [Verfasser:in] ; László Babai and Anuj Dawar and Pascal Schweitzer and Jacobo Torán [Mitwirkende:r]

    The Graph Isomorphism Problem (Dagstuhl Seminar 15511)

    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.

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

  4. Dawar, Anuj [Verfasser:in]; Grädel, Erich [Verfasser:in]; Holm, Bjarki [Verfasser:in]; Kopczynski, Eryk [Verfasser:in]; Pakusa, Wied [Verfasser:in] ; Anuj Dawar and Erich Grädel and Bjarki Holm and Eryk Kopczynski and Wied Pakusa [Mitwirkende:r]

    Definability of linear equation systems over groups and rings

    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.

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

  5. Pago, Benedikt [Verfasser:in] ; Grädel, Erich [Akademische:r Betreuer:in]; Dawar, Anuj [Akademische:r Betreuer:in]

    Limitations of choiceless computation

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

    Erschienen in: Aachen : RWTH Aachen University, 2023

  7. Canavoi, Felix [Verfasser:in] ; Otto, Martin [Akademische:r Betreuer:in]; Dawar, Anuj [Akademische:r Betreuer:in]; Blumensath, Achim [Akademische:r Betreuer:in]

    Cayley Structures and the Expressiveness of Common Knowledge Logic

    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.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2018

  8. Pakusa, Wied [Verfasser:in] ; Grädel, Erich [Akademische:r Betreuer:in]; Otto, Martin [Akademische:r Betreuer:in]; Dawar, Anuj [Akademische:r Betreuer:in]

    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

  9. Laubner, Bastian [Verfasser:in] ; Grohe, Martin [Akademische:r Betreuer:in]; Grädel, Erich [Akademische:r Betreuer:in]; Dawar, Anuj [Akademische:r Betreuer:in]

    ˜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

  17. Dawar, Anuj

    Foreword

    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.

    Elsevier BV, 2003

    Erschienen in: Electronic Notes in Theoretical Computer Science, 90 (2003), Seite 1

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

    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.

    Cambridge University Press (CUP), 1998

    Erschienen in: Journal of Symbolic Logic, 63 (1998) 1, Seite 329-331