DOI10.1007/978-1-4684-2001-2_11zbMath1467.68033OpenAlexW193061089MaRDI QIDQ4999427
Vaughan R. Pratt
Publication date: 6 July 2021 Published in: Complexity of Computer Computations (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-1-4684-2001-2_11
Mathematics Subject Classification ID
Analysis of algorithms (68W40) Theory of operating systems (68N25)
Related Items