Pages that link to "Descriptive complexity"

The following pages link to Descriptive complexity:

Showing 10 items.

• BIT predicate ‎ (links)
• P versus NP problem ‎ (links)
• Query (complexity) ‎ (links)
• Model theory ‎ (links)
• PSPACE ‎ (links)
• History of logic ‎ (links)
• Spectrum of a sentence ‎ (links)
• Samson Abramsky ‎ (links)
• Immerman–Szelepcsényi theorem ‎ (links)
• Second-order logic ‎ (links)