DOI10.1007/978-3-030-02508-3_14MaRDI QIDQ1623139
Martin Steffen, Einar Broch Johnsen, Johanna Beate Stumpf, Lars Tveito
Publication date: 23 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_14
Mathematics Subject Classification ID
68Qxx: Theory of computing