Skip to contents

Dawar, Anuj [Author]; Leivant, Daniel [Author] ; Anuj Dawar and Daniel Leivant [Contributor]

The Ackermann Award 2017

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Atserias, Albert [Author]; Dawar, Anuj [Author] ; Albert Atserias and Anuj Dawar [Contributor]

Definable Inapproximability: New Challenges for Duplicator

View online
Schließen

Access

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
Dawar, Anuj [Author]; Wilsenach, Gregory [Author] ; Anuj Dawar and Gregory Wilsenach [Contributor]

Symmetric Circuits for Rank Logic

View online
Schließen

Access

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
Coquand, Thierry [Author]; Dawar, Anuj [Author] ; Thierry Coquand and Anuj Dawar [Contributor]

The Ackermann Award 2016

View online
Schließen

Access

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
Dawar, Anuj [Author]; Wang, Pengming [Author] ; Anuj Dawar and Pengming Wang [Contributor]

A Definability Dichotomy for Finite Valued CSPs

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Bulian, Jannis [Author]; Dawar, Anuj [Author] ; Jannis Bulian and Anuj Dawar [Contributor]

Fixed-parameter Tractable Distances to Sparse Graph Classes

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Anderson, Matthew [Author]; Dawar, Anuj [Author] ; Matthew Anderson and Anuj Dawar [Contributor]

On Symmetric Circuits and Fixed-Point Logics

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Dawar, Anuj [Author]; Kreutzer, Stephan [Author] ; Anuj Dawar and Stephan Kreutzer [Contributor]

Domination Problems in Nowhere-Dense Classes

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Canavoi, Felix [Author] ; Otto, Martin [Degree supervisor]; Dawar, Anuj [Degree supervisor]; Blumensath, Achim [Degree supervisor]

Cayley Structures and the Expressiveness of Common Knowledge Logic

View online
Schließen

Access

https://d-nb.info/1173899189/34

kostenfrei

Show more show less

Close

Bookmarks

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

Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2018
Pakusa, Wied [Author] ; Grädel, Erich [Degree supervisor]; Otto, Martin [Degree supervisor]; Dawar, Anuj [Degree supervisor]

Linear equation systems and the search for a logical characterisation of polynomial time

View online
Schließen

Access

https://d-nb.info/1125910623/34

kostenfrei

Show more show less

Close

Bookmarks

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

Aachen: Universitätsbibliothek der RWTH Aachen, 2015
Laubner, Bastian [Author] ; Grohe, Martin [Degree supervisor]; Grädel, Erich [Degree supervisor]; Dawar, Anuj [Degree supervisor]

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

View online
Schließen

Access

https://d-nb.info/1015129692/34

kostenfrei

Show more show less

Close

Bookmarks

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

Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
Conghaile, Adam Ó [Author]; Dawar, Anuj [Author] ; Adam Ó Conghaile and Anuj Dawar [Contributor]

Game Comonads & Generalised Quantifiers

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Czumaj, Artur [Editor]; Dawar, Anuj [Editor]; Merelli, Emanuela [Editor] ; International Colloquium on Automata, Languages, and Programming 47. 2020 Online

47th International Colloquium on Automata, Languages, and Programming : ICALP 2020, July 8-11, 2020, Saarbrücken, Germany, (virtual conference)

View online
Schließen

Access

https://www.dagstuhl.de/dagpub/978-3-95977-138-2

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, 2020

Published in: Leibniz international proceedings in informatics ; 168
Mömke, Tobias [Author]; Wiese, Andreas [Author] ; Czumaj, Artur [Editor]; Dawar, Anuj [Editor]; Merelli, Emanuela [Editor]

Breaking the barrier of 2 for the storage allocation problem

View online
Schließen

Access

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/86864

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Augsburg: Universität Augsburg, 2020 ; Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2020

Published in: LIPIcs - Leibniz International Proceedings in Informatics ; 168
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

View online
Schließen

Links

http://edoc.hu-berlin.de/18452/16987

Show more show less

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
Czumaj, Artur [Author]; Dawar, Anuj [Author]; Merelli, Emanuela [Author] ; Artur Czumaj and Anuj Dawar and Emanuela Merelli [Contributor]

Front Matter, Table of Contents, Preface, Conference Organization

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Czumaj, Artur [Author]; Dawar, Anuj [Author]; Merelli, Emanuela [Author] ; Artur Czumaj and Anuj Dawar and Emanuela Merelli [Contributor]

LIPIcs, Volume 168, ICALP 2020, Complete Volume

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Dawar, Anuj [Author]; Grädel, Erich [Author]; Pakusa, Wied [Author] ; Anuj Dawar and Erich Grädel and Wied Pakusa [Contributor]

Approximations of Isomorphism and Logics with Linear-Algebraic Operators (Track B: Automata, Logic, Semantics, and Theory of Programming)

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Dawar, Anuj [Author]; Henzinger, Thomas A. [Author]; Niwiński, Damian [Author] ; Anuj Dawar and Thomas A. Henzinger and Damian Niwiński [Contributor]

The Ackermann Award 2013

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Coquand, Thierry [Author]; Dawar, Anuj [Author]; Niwinski, Damian [Author] ; Thierry Coquand and Anuj Dawar and Damian Niwinski [Contributor]

The Ackermann Award 2012

View online
Schließen

Access

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

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication