• Home /
  • Rewriting Logic and Its Applications (eBook)

Rewriting Logic and Its Applications (eBook)

15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Artikelnummer: 978-3-031-65941-6
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 69.00
decrease increase

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.

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.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer International Publishing
EinbandPDF
Erscheinungsjahr2024
Seitenangabe209 S.
AusgabekennzeichenEnglisch
AbbildungenX, 209 p. 20 illus., 9 illus. in color.
Masse6'123 KB
PlattformPDF
ReiheLecture Notes in Computer Science; Computer Science; Computer Science ; Springer Nature Proceedings Computer Science
AutorOgata, Kazuhiro (Hrsg.) / Martí-Oliet, Narciso (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Computer Science; Computer Science (R0); Springer Nature Proceedings Computer Science"

Weitere Titel von Kazuhiro (Hrsg.) Ogata

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten