Workshop on Mechanized Reasoning about Languages with Variable Binding (3 : 2005 : Tallinn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tallinn