Seminar Automata Theory: Infinite Computations (1991 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern