Rewriting Logic and Its Applications

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Kyungmin Bae 

I S B N：(纸本) 9783031124402 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：VIII, 295页

主 题 词：Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Computer Systems Organization and Communication Networks Discrete Mathematics in Computer Science 

摘      要：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.