Structure and specification as sources of complexity

DOI10.4230/LIPICS.FSTTCS.2009.2336MaRDI QIDQ2920148zbMATH OpenOpenAlexFDO

Authors Anuj Dawar

Publication date 24 October 2012

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

zbMATH Keywords

computational complexityautomataparametrized complexitylocalitydescriptive complexitylogical complexity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1424025
• Computational complexity and the expressive power of logics
• scientific article; zbMATH DE number 1254648
• Descriptive characterizations of computational complexity
• scientific article; zbMATH DE number 2086399

Cited in

(1)

• scientific article; zbMATH DE number 912633 (Why is no real title available?)

This page was built for publication: Structure and specification as sources of complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2920148)