Publication:3509072

zbMath1148.03323MaRDI QIDQ3509072

Stephan Kreutzer, Julian Bradfield

Publication date: 1 July 2008

zbMATH Keywords

independence-friendly logic; combined complexity; complexity of model-checking; second-order logic on finite structures

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68Q19: Descriptive complexity and finite models