Buchumschlag

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Ábrahám, Erika (HerausgeberIn), Dubslaff, Clemens (HerausgeberIn), Tarifa, Silvia Lizeth Tapia (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Ausgabe:	1st ed. 2023.
Schriftenreihe:	Lecture Notes in Computer Science, 14446
Schlagworte:	Computer science. Computer Science Logic and Foundations of Programming.
Online-Zugang:	https://doi.org/10.1007/978-3-031-47963-2
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Veröffentlicht: (2025)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Veröffentlicht: (2023)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Veröffentlicht: (2024)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Veröffentlicht: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Veröffentlicht: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Veröffentlicht: (2023)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
von: Chowdhary, K.R
Veröffentlicht: (2025)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Veröffentlicht: (2025)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Veröffentlicht: (2024)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Veröffentlicht: (2024)

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
Veröffentlicht: (2024)

Logic in Computer Science
von: Zhang, Hantao, et al.
Veröffentlicht: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
von: Farmer, William M.
Veröffentlicht: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
von: Farmer, William M.
Veröffentlicht: (2025)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Veröffentlicht: (2023)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Veröffentlicht: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Veröffentlicht: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Veröffentlicht: (2025)

Multi-valued Logic for Decision-Making Under Uncertainty
von: Kagan, Evgeny, et al.
Veröffentlicht: (2025)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Veröffentlicht: (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 /
Veröffentlicht: (2023)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Veröffentlicht: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Veröffentlicht: (2024)

Mathematics in Programming
von: Liu, Xinyu
Veröffentlicht: (2024)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
Veröffentlicht: (2024)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Veröffentlicht: (2025)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Veröffentlicht: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Veröffentlicht: (2025)

Category Theory Using Haskell An Introduction with Moggi and Yoneda /
von: Yukita, Shuichi
Veröffentlicht: (2025)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Veröffentlicht: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Veröffentlicht: (2023)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Veröffentlicht: (2023)

Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings /
Veröffentlicht: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Veröffentlicht: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Veröffentlicht: (2023)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Veröffentlicht: (2023)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Veröffentlicht: (2025)

Maths For Computing A Beginner's Guide /
von: Charatan, Quentin, et al.
Veröffentlicht: (2025)

Prolog: The Next 50 Years
Veröffentlicht: (2023)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Veröffentlicht: (2023)