Nominal Sets
Dr. Thorsten Wißmann
IdM-login
German
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Fachschaftsinitiative der Informatik
lecture
university lecture