Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Autor:	Kyungmin Bae
Předmět:	Computer science, Software engineering, Machine theory, Computer engineering, Computer networks, Computer science—Mathematics, Discrete mathematics
Kategorie:	COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics
Popis:	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.
Databáze:	eBook Index
Externí odkaz:	Zobrazit plný text záznamu