AG Theoretische Informatik und Logik
Institut für Computersprachen
Technische Universität Wien