Fixed-point logics, generalized quantifiers, and oracles

DOI10.1093/LOGCOM/7.3.405zbMath0880.03012OpenAlexW2058380510MaRDI QIDQ4344700

H. Imhof

Publication date: 28 January 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b04d1662a0776095a13a3448b878192bef257ee7

zbMATH Keywords

monotone circuitsgeneralized quantifiersoraclesrepresentation of fixed-point logics

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)

This page was built for publication: Fixed-point logics, generalized quantifiers, and oracles