Rewriting Logic and Its Applications: 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Ogata, Kazuhiro, Martí-Oliet, Narciso
- 出版商: Springer
- 出版日期: 2024-08-02
- 售價: $2,650
- 貴賓價: 9.5 折 $2,518
- 語言: 英文
- 頁數: 209
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031659406
- ISBN-13: 9783031659409
海外代購書籍(需單獨結帳)
商品描述
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.
The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.
商品描述(中文翻譯)
本書包含了2024年4月6日至7日在盧森堡市舉行的第15屆國際重寫邏輯及其應用研討會（WRLA 2024）經過審核的會議論文的修訂選集。
本書收錄的11篇完整論文是從16篇投稿中仔細審核和選出的。這些論文聚焦於幾個主題，例如：基礎；作為邏輯和語義框架的重寫；重寫語言；驗證技術；應用；以及教育。
