Universität Siegen
Fachgruppe Reine Mathematik und Informatik
Arbeitsgruppe Mathematische Logik und Theoretische Informatik

Adresse Walter-Flex-Straße 3
57072 Siegen
Deutschland

GERiT Diese Institution in GERiT

57072 Siegen

Projekte

Sachbeihilfen
- laufende Projekte
  - Berechnungen mit infiniten Daten: Programmextraktion aus Beweisen in einer um (ko)induktive Definitionen erweiterten konstruktiven Logik, die Berechnungsstärke und Anwendungen
    (Antragsteller Spreen, Dieter )