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
)