Rewriting logic and its applications 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018 : proceedings

Bibliographische Detailangaben

Körperschaft:	WRLA (VerfasserIn)
Weitere Verfasser:	Rusu, Vlad (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2018
Schriftenreihe:	Lecture notes in computer science 11152
Schlagworte:	Konferenzschrift > Termersetzungssystem > Programmiersprache
Online Zugang:	Full Text Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!