Structure and specification as sources of complexity

DOI10.4230/LIPICS.FSTTCS.2009.2336zbMATH Open1248.68240OpenAlexW1539117866MaRDI QIDQ2920148FDOQ2920148

Authors: Anuj Dawar 

Publication date: 24 October 2012

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

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

zbMATH Keywords

computational complexityautomataparametrized complexitylocalitydescriptive complexitylogical complexity

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)