Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan
 
Anuj Dawar
 

Research

(Analysis last run in January 2008)

2005--2007: 'finite structures'; 'infinitary logic'; 'finite models'; 'inflationary fixed points'; 'conjunctive queries'; 'graph logic'; 'regular games'; 'first-order definable optimisation problems'; 'finite representations of infinite words'; 'modal properties of finite structures'; 'parity games'; 'formulae large'; 'backtracking games'; 'affine systems'; 'generalising automaticity'; 'monadic theory'; 'well-behaved finite structures'; 'modal characterisation theorems'; 'complexity bounds'; 'special classes'; 'approximation schemes'; 'models theory';

2000--2004: 'fixed-point logics'; 'inflationary fixed points'; 'nondeterministic choice'; 'symmetric choice'; 'bisimulation invariant fragment of monadic &sigma'; 'adjunct elimination'; 'modal logic'; 'static ambient logic';

1995--1999: 'generalised quantifiers'; 'finite structures'; 'infinitary logic'; 'finite models'; 'fixed-point logics'; 'finite ranks'; 'expressive power'; 'order logic'; 'elementary properties'; 'relativised complexity classes'; 'logical reducibilities'; 'implicit definability'; 'linear order'; 'finite variable types'; 'inductive definability';

1990--1994: 'negation in feature structure descriptions';

Related People