Rewriting Logic and Its Applications

14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

• Author(s): Kyungmin Bae,
• Publisher: Springer Nature
• Pages: 295
• ISBN_10: 3031124413
  ISBN_13: 9783031124419
  
• Language: en
• Categories: Computers / Programming / General , Computers / Software Development & Engineering / General , Mathematics / Logic , Computers / Networking / General , Computers / Data Science / General , Computers / Information Technology , Mathematics / Discrete Mathematics ,

Description:... This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.
The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.