Publication details for Dr Barnaby MartinMartin, Barnaby, Pongrácz, András & Wrona, Michał (2017). The complexity of counting quantifiers on equality languages. Theoretical Computer Science 670: 56-67.
- Publication type: Journal Article
- ISSN/ISBN: 0304-3975
- DOI: 10.1016/j.tcs.2017.01.022
- Further publication details on publisher web site
- Durham Research Online (DRO) - may include full text
Author(s) from Durham
An equality language is a relational structure with infinite domain whose relations are first-order definable in equality. We classify the extensions of the quantified constraint satisfaction problem over equality languages in which the native existential and universal quantifiers are augmented by some subset of counting quantifiers. In doing this, we find ourselves in various worlds in which dichotomies or trichotomies subsist.