Deskriptive Komplexitätstheorie
branch of mathematical logic
Descriptive complexity theory
Complexité descriptive
記述計算量