Slika omota

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

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from...

Spremljeno u:

Bibliografski detalji
Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Madeira, Alexandre (Urednik), Martins, Manuel A. (Urednik)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Izdanje:	1st ed. 2023.
Serija:	Lecture Notes in Computer Science, 13710
Teme:	Computer science. Machine theory. Computer programming. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Programming Techniques.
Online pristup:	https://doi.org/10.1007/978-3-031-43345-0
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti

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

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

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

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Izdano: (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 /
Izdano: (2024)

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

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

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

The French School of Programming
Izdano: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Restarting Automata Extensions and Generalizations /
od: Otto, Friedrich
Izdano: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies /
od: Xu, Yejun
Izdano: (2023)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Izdano: (2024)