Mathematics and Logics in Computer Science Proceedings of ICMLCS 2024 Chaturvedi, Atul Innbundet / 2025 / Engelsk
