Зображення обкладинки

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /

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 categoriz...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Anutariya, Chutiporn (Редактор), Bonsangue, Marcello M. (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Редагування:	1st ed. 2025.
Серія:	Lecture Notes in Computer Science, 15373
Предмети:	Computer science. Computer Science Logic and Foundations of Programming.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-77019-7
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Опубліковано: (2023)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Опубліковано: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Опубліковано: (2024)

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
Опубліковано: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Опубліковано: (2023)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Опубліковано: (2024)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Опубліковано: (2023)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
за авторством: Chowdhary, K.R
Опубліковано: (2025)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Опубліковано: (2024)

Logic in Computer Science
за авторством: Zhang, Hantao, та інші
Опубліковано: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Опубліковано: (2024)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Опубліковано: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
за авторством: Farmer, William M.
Опубліковано: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
за авторством: Farmer, William M.
Опубліковано: (2025)

Multi-valued Logic for Decision-Making Under Uncertainty
за авторством: Kagan, Evgeny, та інші
Опубліковано: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Опубліковано: (2025)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Опубліковано: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Опубліковано: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Опубліковано: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Опубліковано: (2023)

Mathematics in Programming
за авторством: Liu, Xinyu
Опубліковано: (2024)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Опубліковано: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Опубліковано: (2025)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
Опубліковано: (2024)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Опубліковано: (2025)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Опубліковано: (2025)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Опубліковано: (2025)

Category Theory Using Haskell An Introduction with Moggi and Yoneda /
за авторством: Yukita, Shuichi
Опубліковано: (2025)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Опубліковано: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Опубліковано: (2024)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Опубліковано: (2023)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Опубліковано: (2023)

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings /
Опубліковано: (2024)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Опубліковано: (2024)

Maths For Computing A Beginner's Guide /
за авторством: Charatan, Quentin, та інші
Опубліковано: (2025)

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
Опубліковано: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Опубліковано: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Опубліковано: (2023)

Prolog: The Next 50 Years
Опубліковано: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Опубліковано: (2023)