Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /

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 selecte...

Ful tanımlama

Detaylı Bibliyografya

Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Ogata, Kazuhiro (Editör), Martí-Oliet, Narciso (Editör)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edisyon:	1st ed. 2024.
Seri Bilgileri:	Lecture Notes in Computer Science, 14953
Konular:	Software engineering. Computer science. Machine theory. Computer engineering. Computer networks . Computer science > Mathematics. Discrete mathematics. Software Engineering. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Computer Engineering and Networks. Discrete Mathematics in Computer Science.
Online Erişim:	https://doi.org/10.1007/978-3-031-65941-6
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!