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