A strategy for dynamic programs: start over and muddle through

DOI10.4230/LIPICS.ICALP.2017.98MaRDI QIDQ5111430zbMATH OpenOpenAlexFDO

Authors Samir Datta, A. Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume

Publication date 27 May 2020

Full work available at URL https://doi.org/10.4230/LIPIcs.ICALP.2017.98

zbMATH Keywords

dynamic complexitymonadic second-order logictreewidth

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• A strategy for dynamic programs: start over and muddle through
• Static analysis for logic-based dynamic programs
• STACS 2005
• Dynamic complexity under definable changes
• Dyn-FO: A parallel, dynamic complexity class

Cited in

(3)

• Reachability and distances under multiple changes
• Static analysis for logic-based dynamic programs
• A strategy for dynamic programs: start over and muddle through

This page was built for publication: A strategy for dynamic programs: start over and muddle through

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