Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Anuj Dawar

Degree Lower Bounds of Tower-Type for Approximating Formulas With Parity Quantifiers

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

Properties of Almost All Graphs and Generalized Quantifiers

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Preservation Under Extensions on Well-Behaved Finite Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Descriptive Complexity of Parity Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Finite Models and Finitely Many Variables

Banach Center Publications
1999English

Locally Excluding a Minor

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy