DOI10.1007/978-3-031-13257-5_12MaRDI QIDQ2112190
Orna Kupferman, Asaf Petruschka
Publication date: 18 January 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-13257-5_12
Mathematics Subject Classification ID
68Qxx: Theory of computing