International Conference on Rewriting Techniques and Applications (24. : 2013 : Eindhoven) Bezüge im Wissensnetz Veranstaltungsort (1) GND Eindhoven