Selected papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012) [... held as a satellite event of ETAPS 2012 in Tallinn, Estonia, in March 24 - 25, 2012 ... ; eight selected papers]
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Amsterdam u.a.
Elsevier
2015
|
Schriftenreihe: | Science of computer programming
99 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | 261 S. |
---|