scientific article; zbMATH DE number 1043779

zbMath0870.03015MaRDI QIDQ4346734

H. Imhof

Publication date: 5 August 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Ehrenfeucht-Fraïssé gameoracledescriptive complexity theoryfixed-point operatorsfixed-point logicsLindström quantifiers

Mathematics Subject Classification ID

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

Related Items (2)

Generalized hex and logical characterizations of polynomial space ⋮ Positive versions of polynomial time

This page was built for publication: