Skip to contents

  1. Wilsenach, Gregory [Author] ; Dawar, Anuj [Other]

    Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A

    Videos
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Published in: 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020)

  2. Dawar, Anuj [Author] ; Veith, Helmut [Other]

    Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6247

  3. Pago, Benedikt [Author] ; Grädel, Erich [Degree supervisor]; Dawar, Anuj [Degree supervisor]

    Limitations of choiceless computation

    Books
    View online
    Close

    Bookmarks

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

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Published in: Aachen ; RWTH Aachen University, 2023

  4. Dawar, Anuj [Editor]; Guruswami, Venkatesan [Editor] ; FSTTCS 42. 2022 Chennai

    42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India

    Books
    View online
    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, December, 2022

    Published in: Leibniz international proceedings in informatics ; 250

  5. Cooper, S. Barry [Author] ; Dawar, Anuj [Other]; Löwe, Benedikt [Other]

    How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Published in: Lecture notes in computer science ; 7318