Theoretical Aspects of Computing - Ictac 2024: 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
暫譯: 計算的理論面向 - ICTAC 2024：第21屆國際研討會，泰國曼谷，2024年11月25日至29日，會議論文集
Anutariya, Chutiporn, Bonsangue, Marcello M.
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第21屆國際計算理論方面研討會（ICTAC 2024）的經過審稿的會議論文集，該會議於2024年11月25日至29日在泰國曼谷舉行。
此處呈現的21篇完整論文是從46篇投稿中仔細審核和選出的。這些論文被分類為以下主題部分：邀請論文；自動機、語言與學習；演算法與複雜性；圖形與遊戲；過程計算；驗證與推理。
