A Strategy for Dynamic Programs: Start over and Muddle through
From MaRDI portal
Publication:5111430
DOI10.4230/LIPIcs.ICALP.2017.98zbMath1442.68033OpenAlexW2963302486MaRDI QIDQ5111430
Thomas Zeume, Thomas Schwentick, Samir Datta, Nils Vortmeier, Anish Mukherjee
Publication date: 27 May 2020
Full work available at URL: https://doi.org/10.4230/LIPIcs.ICALP.2017.98
Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items