Imaxe de Portada

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Țuțu, Ionuț (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edición:	1st ed. 2025.
Series:	Lecture Notes in Computer Science, 15587
Subjects:	Computer science. Machine theory. Computer programming. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Programming Techniques.
Acceso en liña:	https://doi.org/10.1007/978-3-031-88930-1
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Publicado: (2023)

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 /
Publicado: (2024)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Publicado: (2025)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Publicado: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Publicado: (2024)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Publicado: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Publicado: (2025)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Publicado: (2024)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Publicado: (2025)

The French School of Programming
Publicado: (2024)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Publicado: (2023)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Publicado: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Publicado: (2024)

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

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Publicado: (2023)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Publicado: (2024)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Publicado: (2025)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Publicado: (2024)

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

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

Theory of Computation Automata, Formal Languages, Computation and Complexity /
por: Chowdhary, K.R
Publicado: (2025)

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

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
por: Otto, Friedrich
Publicado: (2025)

Restarting Automata Extensions and Generalizations /
por: Otto, Friedrich
Publicado: (2025)

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

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

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

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
Publicado: (2023)

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

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

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
por: Farmer, William M.
Publicado: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
por: Farmer, William M.
Publicado: (2025)

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

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
por: Hoffmann, Dirk W.
Publicado: (2025)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Publicado: (2023)

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

An Introduction to Theory of Computation An Algorithmic Approach /
por: Ogihara, Mitsunori
Publicado: (2025)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Publicado: (2024)

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies /
por: Xu, Yejun
Publicado: (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 /
Publicado: (2025)