Nominal Sets
Dr. Thorsten Wißmann
IdM-Anmeldung
Englisch
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Vorlesung
universitäre Vorlesung