Stav dette: Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings / edited by Chutiporn Anutariya, Marcello M. Bonsangue. [electronic resource] :