Publication:5005123
From MaRDI portal
DOI10.4230/LIPIcs.MFCS.2018.23MaRDI QIDQ5005123
Orna Kupferman, Guy Avni, Shibashis Guha
Publication date: 4 August 2021
Full work available at URL: https://arxiv.org/abs/1808.04882
68Qxx: Theory of computing