Theoretical Aspects of Computing – ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.
The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.
They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.
Autor*in
Erika Ábrahám
Themen in »Theoretical Aspects of Computing – ICTAC 2023«
Models of computation Logic Formal languages and automata theory Randomness, geometry and discrete structures Semantics and reasoning Design and analysis of algorithms Mathematics of computing Security and privacy