Seminar Semantics of Programming Languages and Model Theory (1991 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern