Pages in category "Descriptive complexity" BBIT predicateDDescriptive complexity theoryFFO (complexity)Fagin's theoremFirst-order reductionHHO (complexity)KKolmogorov complexityQQuery (complexity)SSO (complexity)