Descriptive complexity theory
label: Deskriptive Komplexitätstheorie @de
subject: Category:Computational complexity theory
subject: Category:Finite model theory
description: branch of mathematical logic
subject: Category:Descriptive complexity
label: Complexité descriptive @fr
label: 記述計算量 @ja