Rewriting logic and its applications 9th international workshop, WRLA 2012, held as a satellite event of ETAPS 2012, Tallinn, Estonia, March 24 - 25, 2012 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	WRLA (BerichterstatterIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Durán, Francisco (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2012
Schriftenreihe:	Lecture notes in computer science 7571
Schlagworte:	Konferenzschrift > Termersetzungssystem > Programmiersprache
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!