Showing 1 - 17 results of 17 for search 'Dawar, A', query time: 0.02s
Refine Results
-
1
Domination Problems in Nowhere−Dense Classes of Graphs‚ by Dawar, A, Kreutzer, S
Published 2009Conference item -
2
Generalising Automaticity to Model Properties of Finite Structures by Dawar, A, Kreutzer, S
Published 2007Journal article -
3
-
4
Generalising Automaticity to Modal Properties of Finite Structures by Dawar, A, Kreutzer, S
Published 2002Conference item -
5
Complexity Bounds for Regular Games (Extended Abstract) by Hunter, P, Dawar, A
Published 2005Conference item -
6
Backtracking Games and Inflationary Fixed Points by Dawar, A, Grädel, E, Kreutzer, S
Published 2006Journal article -
7
The pebbling comonad in finite model theory by Abramsky, S, Dawar, A, Wang, P
Published 2017Conference item -
8
Lovasz-type theorems and game comonads by Dawar, A, Jakl, T, Reggio, L
Published 2021Conference item -
9
-
10
Inflationary Fixed Points in Modal Logics by Dawar, A, Grädel, E, Kreutzer, S
Published 2004Journal article -
11
Inflationary Fixed Points in Modal Logics by Dawar, A, Grädel, E, Kreutzer, S
Published 2001Conference item -
12
Backtracking games and inflationary fixed points by Dawar, A, Grädel, E, Kreutzer, S
Published 2004Conference item -
13
Capturing Relativized Complexity Classes without Order by Dawar, A, Gottlob, G, Hella, L
Published 1998Journal article -
14
-
15
DAG−Width and Parity Games by Berwanger, D, Dawar, A, Hunter, P, Kreutzer, S
Published 2006Conference item -
16
Model theory makes formulas large by Dawar, A, Grohe, M, Kreutzer, S, Schweikardt, N
Published 2007Conference item -
17
The DAG−Width of Directed Graphs by Berwanger, D, Dawar, A, Hunter, P, Kreutzer, S, Obdržalek, J
Published 2012Journal article