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

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Workshop on Rewriting Logic and Its Applications (VerfasserIn)
Weitere Verfasser:	Ogata, Kazuhiro (HerausgeberIn), Martí-Oliet, Narciso (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14953
Schlagworte:	Software engineering. > Computer science. > Machine theory. > Computer engineering. > Computer networks . > Computer science > Discrete mathematics.
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!