Παρακολούθηση
Anuj Dawar
Anuj Dawar
University of Cambridge
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cl.cam.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
DAG-width and parity games
D Berwanger, A Dawar, P Hunter, S Kreutzer
STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006
1752006
Locally excluding a minor
A Dawar, M Grohe, S Kreutzer
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 270-279, 2007
1622007
Infinitary logic and inductive definability over finite structures
A Dawar, S Lindell, S Weinstein
Information and Computation 119 (2), 160-175, 1995
1381995
Affine systems of equations and counting infinitary logic
A Atserias, A Bulatov, A Dawar
Theoretical Computer Science 410 (18), 1666-1683, 2009
1312009
The dag-width of directed graphs
D Berwanger, A Dawar, P Hunter, S Kreutzer, J Obdržálek
Journal of Combinatorial Theory, Series B 102 (4), 900-923, 2012
1212012
Modal characterisation theorems over special classes of frames
A Dawar, M Otto
Annals of Pure and Applied Logic 161 (1), 1-42, 2009
1152009
Feasible computation through model theory
A Dawar
University of Pennsylvania, 1993
1001993
On preservation under homomorphisms and unions of conjunctive queries
A Atserias, A Dawar, PG Kolaitis
Journal of the ACM (JACM) 53 (2), 208-237, 2006
972006
The pebbling comonad in finite model theory
S Abramsky, A Dawar, P Wang
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
902017
A restricted second order logic for finite structures
A Dawar
Information and Computation 143 (2), 154-174, 1998
901998
Domination problems in nowhere-dense classes of graphs
A Dawar, S Kreutzer
arXiv preprint arXiv:0907.4283, 2009
832009
Generalized quantifiers and logical reducibilities
A Dawar
Journal of Logic and Computation 5 (2), 213-226, 1995
831995
Logics with rank operators
A Dawar, M Grohe, B Holm, B Laubner
2009 24th Annual IEEE Symposium on Logic In Computer Science, 113-122, 2009
752009
Model theory makes formulas large
A Dawar, M Grohe, S Kreutzer, N Schweikardt
Automata, Languages and Programming: 34th International Colloquium, ICALP …, 2007
702007
Fixed point logics
A Dawar, Y Gurevich
Bulletin of Symbolic Logic 8 (1), 65-88, 2002
642002
Inflationary fixed points in modal logic
A Dawar, E Grädel, S Kreutzer
ACM Transactions on Computational Logic (TOCL) 5 (2), 282-315, 2004
632004
Expressiveness and complexity of graph logic
A Dawar, P Gardner, G Ghelli
Information and Computation 205 (3), 263-310, 2007
602007
Approximation schemes for first-order definable optimisation problems
A Dawar, M Grohe, S Kreutzer, N Schweikardt
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 411-420, 2006
602006
Complexity bounds for regular games
P Hunter, A Dawar
International Symposium on Mathematical Foundations of Computer Science, 495-506, 2005
592005
Quantum computing
A Dawar
Np, nd Web 24, 2012
562012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20