DOI10.1007/978-3-030-65840-3_11OpenAlexW3100279745MaRDI QIDQ2055762
Pengfei Song, Emiliano Lorini
Publication date: 1 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-65840-3_11
Mathematics Subject Classification ID
Logic in computer science (03B70)