Narciso Marti-Oliet & Kazuhiro Ogata 
Rewriting Logic and Its Applications [EPUB ebook] 
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Support

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.

€64.11
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783031659416 ● Editor Narciso Marti-Oliet & Kazuhiro Ogata ● Publisher Springer Nature Switzerland ● Published 2024 ● Downloadable 3 times ● Currency EUR ● ID 9589672 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

49,595 Ebooks in this category