DOI10.1007/978-3-319-03542-0_23zbMath1426.68071MaRDI QIDQ2937795
Fritz Henglein, Ralf Hinze
Publication date: 12 January 2015 Published in: Programming Languages and Systems (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_23
Mathematics Subject Classification ID
68P10: Searching and sorting
68P05: Data structures