Explore relationships

Descriptive complexity

Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them.

Use + to expand a branch. Click a topic name to open its summary.