Logic and applications -- LAP meeting
From MaRDI portal
Publication:2037987
DOI10.1007/978-3-030-62077-6_8MaRDI QIDQ2037987
Thomas Studer, Silvia Ghilezan, Zoran Ognjanović, Zvonimir Šikić
Publication date: 8 July 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-62077-6_8
03-XX: Mathematical logic and foundations