Monotonicity and the Expressibility of NP Operators

DOI10.1002/MALQ.19940400118zbMath0813.03025OpenAlexW2158043776MaRDI QIDQ4304159

Iain A. Stewart

Publication date: 7 June 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400118

zbMATH Keywords

first-order logicexpressibilitygeneralized quantifiersfinite structurescomplexity class NP

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• Unnamed Item

This page was built for publication: Monotonicity and the Expressibility of NP Operators