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

Kyungmin Bae

Informasi Dasar

66 kali
23.21.1700
005.1
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1

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.

Subjek

COMPUTER LOGIC
 

Katalog

Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
978-3-031-12441-9
295p.: pdf file.; 8,3 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Kyungmin Bae
Perorangan
 
 

Penerbit

Springer Cham
New York
2022

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini