BibSonomy :: author  ::

bookmarks

publications

(46)

• On Datalog vs. LFP.
  Anuj Dawar and Stephan Kreutzer ICALP (2) 160-171 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• On the Descriptive Complexity of Linear Algebra.
  Anuj Dawar WoLLIC 17-25 (2008)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• The monadic theory of finite representations of infinite words.
  Anuj Dawar and David Janin Inf. Process. Lett. 103 94-101 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• Affine Systems of Equations and Counting Infinitary Logic.
  Albert Atserias and Andrei Bulatov and Anuj Dawar ICALP 558-570 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Model Theory Makes Formulas Large.
  Anuj Dawar and Martin Grohe and Stephan Kreutzer and Nicole Schweikardt ICALP 913-924 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Model-Checking First-Order Logic: Automata and Locality.
  Anuj Dawar CSL 6 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• The Power of Counting Logics on Restricted Classes of Finite Structures.
  Anuj Dawar and David Richerby CSL 84-98 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Finite Model Theory on Tame Classes of Structures.
  Anuj Dawar MFCS 2-12 (2007)
  to dblp by dblp on 2007-08-21 00:00:00
  | URL | BibTeX  
• Locally Excluding a Minor.
  Anuj Dawar and Martin Grohe and Stephan Kreutzer LICS 270-279 (2007)
  to dblp by dblp on 2007-07-23 00:00:00
  | URL | BibTeX  
• Expressiveness and complexity of graph logic.
  Anuj Dawar and Philippa Gardner and Giorgio Ghelli Inf. Comput. 205 263-310 (2007)
  to dblp by dblp on 2007-06-19 00:00:00
  | URL | BibTeX