Gerda Thieler-Mevissen

• Anwendungen der Netztheorie zur formalen Systemspezifikation
• Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln