Anuj Dawar Papers on DiSC'04 On Preservation under Homomorphisms and Unions of Conjunctive Queries Publications Note: Links lead to the DBLP on the Web. Anuj Dawar Anuj Dawar, Philippa Gardner , Giorgio Ghelli : Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004 : 211-223 Anuj Dawar, David Janin : On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. FSTTCS 2004 : 224-236 Anuj Dawar, Erich Grädel , Stephan Kreutzer : Backtracking Games and Inflationary Fixed Points. ICALP 2004 : 420-432 Albert Atserias , Anuj Dawar, Phokion G. Kolaitis : On Preservation under Homomorphisms and Unions of Conjunctive Queries. PODS 2004 : 319-329 Anuj Dawar, Erich Grädel , Stephan Kreutzer : Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5 (2): 282-315 (2004) Anuj Dawar, David Richerby : A Fixed-Point Logic with Symmetric Choice. CSL 2003 : 169-182 Anuj Dawar: Preface. Electr. Notes Theor. Comput. Sci. 90 (1): (2003) Anuj Dawar, Daniel Leivant : Guest editorial. Inf. Comput. 183 (1): 1 (2003) Anuj Dawar, David Richerby : Fixed-point Logics with Nondeterministic Choice. J. Log. Comput. 13 (4): 503-530 (2003) Anuj Dawar, Stephan Kreutzer : Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS 2002 : 109-120 Anuj Dawar, Erich Grädel , Stephan Kreutzer : Inflationary Fixed Points in Modal Logic. CSL 2001 : 277-291 Anuj Dawar, Lauri Hella , Anil Seth : Ordering Finite Variable Types with Generalized Quantifiers. LICS 1998 : 28-43 Anuj Dawar: A Restricted Second Order Logic for Finite Structures. Inf. Comput. 143 (2): 154-174 (1998) Anuj Dawar, Georg Gottlob , Lauri Hella : Capturing Relativized Complexity Classes without Order. Math. Log. Q. 44 : 109-122 (1998) Anuj Dawar, Kees Doets , Steven Lindell , Scott Weinstein : Elementary Properties of the Finite Ranks. Math. Log. Q. 44 : 349-353 (1998) Anuj Dawar, Steven Lindell , Scott Weinstein : First Order Logic, Fixed Point Logic and Linear Order. CSL 1995 : 161-177 Anuj Dawar, Lauri Hella , Phokion G. Kolaitis : Implicit Definability and Infinitary Logic in Finite Model Theory. ICALP 1995 : 624-635 Anuj Dawar, Erich Grädel : Generalized Quantifiers and 0-1 Laws LICS 1995 : 54-64 Anuj Dawar, Steven Lindell , Scott Weinstein : Infinitary Logic and Inductive Definability over Finite Structures Inf. Comput. 119 (2): 160-175 (1995) Anuj Dawar, Lauri Hella : The expressive Power of Finitely Many Generalized Quantifiers. Inf. Comput. 123 (2): 172-184 (1995) Anuj Dawar: Generalized Quantifiers and Logical Reducibilities. J. Log. Comput. 5 (2): 213-226 (1995) Anuj Dawar: A Restricted Second Order Logic for Finite Structures. LCC 1994 : 393-413 Anuj Dawar, Lauri Hella : The Expressive Power of Finitely Many Generalized Quantifiers LICS 1994 : 20-29 Anuj Dawar, K. Vijay-Shanker : An Interpretation of Negation in Feature Structure Descriptions. Computational Linguistics 16 (1): 11-21 (1990) Anuj Dawar, K. Vijay-Shanker : A Three-Valued Interpretation of Negation in Feature Structure Descriptions. ACL 1989 : 18-24 1 [ 22 ] 2 [ 11 ] 3 [ 25 ] 4 [ 25 ] 5 [ 12 ] 6 [ 8 ] [ 15 ] [ 21 ] [ 23 ] 7 [ 3 ] [ 6 ] [ 9 ] [ 12 ] [ 14 ] 8 [ 24 ] 9 [ 9 ] [ 22 ] 10 [ 15 ] [ 16 ] [ 21 ] [ 23 ] 11 [ 18 ] 12 [ 7 ] [ 10 ] [ 11 ] 13 [ 17 ] [ 20 ] 14 [ 14 ] 15 [ 1 ] [ 2 ] 16 [ 7 ] [ 10 ] [ 11 ] ©2005 Association for Computing Machinery