Overview
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25-29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning.
- | Author: Chutiporn Anutariya
- | Publisher: Springer
- | Publication Date: Nov 22, 2024
- | Number of Pages: 410 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3031770188
- | ISBN-13: 9783031770180
