Structure and specification as sources of complexity

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

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)

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)