scientific article; zbMATH DE number 1499101

zbMath0946.03041MaRDI QIDQ4501155

Y. B. Pnueli, Johann A. Makowsky

Publication date: 3 September 2000

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

zbMATH Keywords

expressive powersecond-order logic over finite structures

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (3)

Arity and alternation in second-order logic ⋮ Arity hierarchies ⋮ A logic-based approach to incremental reasoning on multi-agent systems

This page was built for publication: