scientific article; zbMATH DE number 1759397

zbMath0996.03024MaRDI QIDQ4536345

Moshe Y. Vardi, Phokion G. Kolaitis

Publication date: 4 November 2002

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

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (4)

Testable and untestable classes of first-order formulae ⋮ Unnamed Item ⋮ A topological zero-one law and elementary equivalence of finitely generated groups ⋮ Existential second-order logic and modal logic with quantified accessibility relations

This page was built for publication: