Structure and Specification as Sources of Complexity

DOI10.4230/LIPIcs.FSTTCS.2009.2336zbMath1248.68240OpenAlexW1539117866MaRDI QIDQ2920148

Anuj Dawar

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_acfe.html

zbMATH Keywords

computational complexityautomatalocalityparametrized complexitydescriptive complexitylogical complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Descriptive complexity and finite models (68Q19)

This page was built for publication: Structure and Specification as Sources of Complexity