Rewriting logic and its applications : 13th international workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers

Rewriting logic and its applications 13th international workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: WRLA (VerfasserIn)
Weitere Verfasser: Escobar, Santiago (HerausgeberIn), Martí-Oliet, Narciso (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12328
Schlagworte:
Konferenzschrift > Termersetzungssystem > Programmiersprache > Gleichzeitigkeit > Nebenläufigkeitskontrolle
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:215 Seiten
Diagramme
ISBN:9783030635947
978-3-030-63594-7